# HG changeset patch
# User wenzelm
# Date 855250430 -3600
# Node ID a17f46352df32de91d978882cb56f7419cbd4fb7
# Parent  ae16f162f9732dabc942459c4e195f62f3eb21ee
removed getplatform, ISABELLE_OUTPUT_DIR;

diff -r ae16f162f973 -r a17f46352df3 lib/Tools/makeall
--- a/lib/Tools/makeall	Thu Feb 06 18:31:27 1997 +0100
+++ b/lib/Tools/makeall	Thu Feb 06 18:33:50 1997 +0100
@@ -21,9 +21,6 @@
 #     -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