File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -20,12 +20,12 @@ echo ""
2020
2121git checkout develop
2222git pull origin
23- make math-revert
23+ git submodule update --init --recursive
2424pushd lib/stan_math > /dev/null
2525git checkout develop
2626git pull origin
2727popd > /dev/null
28- make math-revert
28+ git submodule update --init --recursive
2929
3030original_commit_hash=$( cd lib/stan_math && git rev-parse --short HEAD)
3131math_commit_hash=$( cd lib/stan_math && git rev-parse --short origin/develop)
@@ -39,7 +39,7 @@ if [ "$original_commit_hash" == "$math_commit_hash" ]; then
3939 echo " "
4040 echo " ------------------------------------------------------------"
4141 echo " "
42- trap : 0
42+ trap : 0
4343 exit 0
4444fi
4545
@@ -54,7 +54,7 @@ git push origin develop
5454# # Done
5555# #######################################
5656
57- trap : 0
57+ trap : 0
5858
5959echo " ------------------------------------------------------------"
6060echo " "
You can’t perform that action at this time.
0 commit comments