diff -r 9d66b758bce5 -r 64e52912eb09 lib/Tools/makeall
--- 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