lib/Tools/make
changeset 2501 632e126852fc
parent 2437 63249c1c544a
child 2593 012be3cc5203
     1.1 --- a/lib/Tools/make	Thu Jan 09 16:01:34 1997 +0100
     1.2 +++ b/lib/Tools/make	Thu Jan 09 16:44:57 1997 +0100
     1.3 @@ -25,7 +25,6 @@
     1.4  
     1.5  
     1.6  . $ISABELLE_HOME/lib/scripts/getplatform
     1.7 -
     1.8  export ISABELLE_OUTPUT_DIR="$ISABELLE_OUTPUT/$ML_SYSTEM-$PLATFORM"
     1.9  
    1.10  exec make -f IsaMakefile "$@"