tuned msg;
authorwenzelm
Wed Feb 03 16:41:00 1999 +0100 (1999-02-03)
changeset 618672abe86d9418
parent 6185 11bf7a8b6a02
child 6187 c6c4626ef693
tuned msg;
src/Pure/mk
     1.1 --- a/src/Pure/mk	Wed Feb 03 16:40:42 1999 +0100
     1.2 +++ b/src/Pure/mk	Wed Feb 03 16:41:00 1999 +0100
     1.3 @@ -60,7 +60,7 @@
     1.4  
     1.5  ML_SYSTEM_BASE=$(echo $ML_SYSTEM | cut -f1 -d-)
     1.6  [ -z "$ML_SYSTEM" ] && \
     1.7 -  fail "Missing ML system settings! Probably not run via 'isatool make'?."
     1.8 +  fail "Missing ML system settings! Probably not run via 'isatool make'."
     1.9  
    1.10  COMPAT=""
    1.11  [ -f "ML-Systems/$ML_SYSTEM_BASE.ML" ] && COMPAT="ML-Systems/$ML_SYSTEM_BASE.ML"