--- a/lib/Tools/makeall Wed Jan 29 15:45:40 1997 +0100
+++ b/lib/Tools/makeall Wed Jan 29 15:58:17 1997 +0100
@@ -21,6 +21,9 @@
# -noexec don't execute, just check settings and IsaMakefiles
+. $ISABELLE_HOME/lib/scripts/getplatform
+export ISABELLE_OUTPUT_DIR="$ISABELLE_OUTPUT/$ML_SYSTEM-$PLATFORM"
+
set -e #fail immediately upon errors
# process command line switches
@@ -44,10 +47,6 @@
done
-. $ISABELLE_HOME/lib/scripts/getplatform
-export ISABELLE_OUTPUT_DIR="$ISABELLE_OUTPUT/$ML_SYSTEM-$PLATFORM"
-
-
echo Started at `date`
echo Source=`pwd`
echo Destination=$ISABELLE_OUTPUT_DIR