--- a/make-all Mon Sep 20 17:02:11 1993 +0200
+++ b/make-all Mon Sep 20 18:39:45 1993 +0200
@@ -57,6 +57,8 @@
on.on) (cd $ISABELLEBIN; rm -f Pure FOL ZF CCL LCF CTT LK Modal HOL Cube FOLP)
esac
+set +e #no longer fail upon errors -- e.g. if a "make" fails
+
echo
echo
echo '*****Pure Isabelle*****'