Admin/isatest/settings/annomaly
changeset 22409 5f7c9c82b05e
child 22639 a9551463543c
equal deleted inserted replaced
22408:3878265f4924 22409:5f7c9c82b05e
       
     1 ML_SYSTEM=annomaly
       
     2 ML_HOME="$SMLNJ_HOME/bin"
       
     3 ML_OPTIONS="-m $SMLNJ_HOME/annomaly/annomaly.cm @SMLdebug=/dev/null"
       
     4 ML_PLATFORM=$(eval $("$ML_HOME/.arch-n-opsys" 2>/dev/null); echo "$HEAP_SUFFIX")