Commit b0a01c5c authored by Heiko Becker's avatar Heiko Becker

Comment out binaries for testing CI pipeline

parent 2c96eaf4
...@@ -36,7 +36,6 @@ else ...@@ -36,7 +36,6 @@ else
fi fi
cd $FLOVERDIR cd $FLOVERDIR
fi fi
scripts/ci-hol4-setup.sh
cd ./hol4 cd ./hol4
...@@ -51,6 +50,6 @@ $HOLDIR/bin/Holmake ...@@ -51,6 +50,6 @@ $HOLDIR/bin/Holmake
cd ./binary cd ./binary
$HOLDIR/bin/Holmake -q checkerBinaryTheory.uo #$HOLDIR/bin/Holmake -q checkerBinaryTheory.uo
$HOLDIR/bin/Holmake -q checker.S #$HOLDIR/bin/Holmake -q checker.S
$HOLDIR/bin/Holmake -q cake_checker #$HOLDIR/bin/Holmake -q cake_checker
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