lib/Tools/make
changeset 2593 012be3cc5203
parent 2501 632e126852fc
child 3007 e5efa177ee0c
equal deleted inserted replaced
2592:a17f46352df3 2593:012be3cc5203
    21 
    21 
    22 ## main
    22 ## main
    23 
    23 
    24 [ "$1" = "-?" ] && usage
    24 [ "$1" = "-?" ] && usage
    25 
    25 
    26 
       
    27 . $ISABELLE_HOME/lib/scripts/getplatform
       
    28 export ISABELLE_OUTPUT_DIR="$ISABELLE_OUTPUT/$ML_SYSTEM-$PLATFORM"
       
    29 
       
    30 exec make -f IsaMakefile "$@"
    26 exec make -f IsaMakefile "$@"