I've used this version of the update_submodules script for several re…

…leases, so here I am committing it for posterity.
gjtorikian · Jul 31, 2023 · d0e81e2 · d0e81e2
1 parent 42cfc90
commit d0e81e2
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/script/update_submodules b/script/update_submodules
@@ -1,6 +1,6 @@
 #!/bin/bash
 
-set -e
+set -euo pipefail
 
 if [ -z "$1" ]; then
   BRANCH="main"
@@ -14,7 +14,10 @@ echo "Checking out cmark-upstream"
 echo "---------------------"
 cd ext/commonmarker/cmark-upstream
 git fetch origin
-git checkout $BRANCH && git pull
+# when checking out a tag, for whatever reason the git pull step fails
+# so we comment it out for now:
+# git checkout $BRANCH && git pull
+git checkout $BRANCH
 sha=`git rev-parse HEAD`
 cd ../../..
 make