*** empty log message ***
authorwenzelm
Thu Jan 09 16:44:57 1997 +0100 (1997-01-09)
changeset 2501632e126852fc
parent 2500 777c90aa20b2
child 2502 dcf928805273
*** empty log message ***
lib/Tools/make
     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 "$@"