# HG changeset patch
# User wenzelm
# Date 855250823 -3600
# Node ID 012be3cc520309dbbf0e561dee709e9be334eef2
# Parent  a17f46352df32de91d978882cb56f7419cbd4fb7
removed getplatform, ISABELLE_OUTPUT_DIR;

diff -r a17f46352df3 -r 012be3cc5203 lib/Tools/make
--- a/lib/Tools/make	Thu Feb 06 18:33:50 1997 +0100
+++ b/lib/Tools/make	Thu Feb 06 18:40:23 1997 +0100
@@ -23,8 +23,4 @@
 
 [ "$1" = "-?" ] && usage
 
-
-. $ISABELLE_HOME/lib/scripts/getplatform
-export ISABELLE_OUTPUT_DIR="$ISABELLE_OUTPUT/$ML_SYSTEM-$PLATFORM"
-
 exec make -f IsaMakefile "$@"