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

Remove cleanAll from script as it was failing anyway

parent 56f287cf
......@@ -4,9 +4,6 @@
HOLCOMMIT="$(cat ./hol4/.HOLCOMMIT)"
FLOVERDIR="$(pwd)"
#Debugging only:
echo "Set FloverDir to $FLOVERDIR"
#HOL4 always cloned exactly here --> must be in this folder
if [ ! -d "./HOL4" ];
then
......@@ -40,16 +37,7 @@ else
cd $FLOVERDIR
fi
#Debugging only:
echo "I am in $(pwd)"
cd ./hol4/binary
#Do a clean build -> remove all temp files
$HOLDIR/bin/Holmake cleanAll -r
cd ..
cd ./hol4
echo "Downloading CakeML"
git submodule init cakeml
......
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