removed getplatform, ISABELLE_OUTPUT_DIR;
authorwenzelm
Thu Feb 06 18:40:23 1997 +0100 (1997-02-06)
changeset 2593012be3cc5203
parent 2592 a17f46352df3
child 2594 4743d85eace0
removed getplatform, ISABELLE_OUTPUT_DIR;
lib/Tools/make
     1.1 --- a/lib/Tools/make	Thu Feb 06 18:33:50 1997 +0100
     1.2 +++ b/lib/Tools/make	Thu Feb 06 18:40:23 1997 +0100
     1.3 @@ -23,8 +23,4 @@
     1.4  
     1.5  [ "$1" = "-?" ] && usage
     1.6  
     1.7 -
     1.8 -. $ISABELLE_HOME/lib/scripts/getplatform
     1.9 -export ISABELLE_OUTPUT_DIR="$ISABELLE_OUTPUT/$ML_SYSTEM-$PLATFORM"
    1.10 -
    1.11  exec make -f IsaMakefile "$@"