Commit 9c1261ae authored by Heiko Becker's avatar Heiko Becker

Next fix...

parent 60da67c9
...@@ -30,7 +30,7 @@ if [[ "$INIT" = "yes" ]]; ...@@ -30,7 +30,7 @@ if [[ "$INIT" = "yes" ]];
then then
echo "Checking out CakeML submodule to correct state" echo "Checking out CakeML submodule to correct state"
git submodule init git submodule init
git submodule update cakeml git submodule update -f cakeml
echo "Checking out correct HOL4 version" echo "Checking out correct HOL4 version"
cd $HOLDIR cd $HOLDIR
......
...@@ -12,7 +12,7 @@ then ...@@ -12,7 +12,7 @@ then
else else
echo "Downloading CakeML" echo "Downloading CakeML"
git submodule init cakeml git submodule init cakeml
git submodule update cakeml git submodule update -f cakeml
fi fi
$HOLDIR/bin/Holmake -q $HOLDIR/bin/Holmake -q
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment