diff --git a/scripts/ci-hol4.sh b/scripts/ci-hol4.sh
index b67af1995baa9f37afe4400a5b2fcb39a1f03432..384aadf96637e050e8d2ba4733e37194b19f8023 100755
--- a/scripts/ci-hol4.sh
+++ b/scripts/ci-hol4.sh
@@ -40,12 +40,12 @@ cd ./hol4
 
 $HOLDIR/bin/Holmake
 
-cd ./binary
+#cd ./binary
 
-echo "Downloading CakeML"
-git submodule init cakeml
-git submodule update -f cakeml
+#echo "Downloading CakeML"
+#git submodule init cakeml
+#git submodule update -f cakeml
 
-$HOLDIR/bin/Holmake checkerBinaryTheory.uo
-$HOLDIR/bin/Holmake checker.S
-$HOLDIR/bin/Holmake cake_checker
+#$HOLDIR/bin/Holmake checkerBinaryTheory.uo
+#$HOLDIR/bin/Holmake checker.S
+#$HOLDIR/bin/Holmake cake_checker
diff --git a/scripts/regressiontests.sh b/scripts/regressiontests.sh
index 3672b86ed8c8db356a71c6aed6456846c8873712..d93611a4e882cd96aef9f318b6cf0ed809478faa 100755
--- a/scripts/regressiontests.sh
+++ b/scripts/regressiontests.sh
@@ -68,15 +68,14 @@ for fname in ./*.sml; do
     fi
 done
 
-#Binary regression tests
-for fname in ./*.txt; do
-    ../../hol4/binary/cake_checker $fname
-    if [ $? -eq 0 ]
-    then
-        echo "Successfully checked $fname";
-    else
-        echo "Checking $fname has failed"
-        exit 1;
-    fi
-
-done
+#Binary regression tests; disabled
+#for fname in ./*.txt; do
+#    ../../hol4/binary/cake_checker $fname
+#    if [ $? -eq 0 ]
+#    then
+#        echo "Successfully checked $fname";
+#    else
+#        echo "Checking $fname has failed"
+#        exit 1;
+#    fi
+#done