Commit 67f55c96 authored by Heiko Becker's avatar Heiko Becker

Fix HOL4 configure script not calling build correctly

parent 47dc160c
......@@ -36,9 +36,9 @@ then
cd $HOLDIR
git pull
git checkout $HOLCOMMIT
$HOLDIR/bin/build cleanAll
bin/build cleanAll
poly < $HOLDIR/tools/smart-configure.sml
$HOLDIR/bin/build
bin/build
cd $DIR
else
cd $HOLDIR
......
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