equal
deleted
inserted
replaced
63 ## main |
63 ## main |
64 |
64 |
65 # get compatibility file |
65 # get compatibility file |
66 |
66 |
67 ML_SYSTEM_BASE=$(echo "$ML_SYSTEM" | cut -f1 -d-) |
67 ML_SYSTEM_BASE=$(echo "$ML_SYSTEM" | cut -f1 -d-) |
68 [ -z "$ML_SYSTEM" ] && \ |
68 [ -z "$ML_SYSTEM" ] && fail "Missing ML_SYSTEM settings!" |
69 fail "Missing ML system settings! Probably not run via 'isatool make'." |
|
70 |
69 |
71 COMPAT="" |
70 COMPAT="" |
72 [ -f "ML-Systems/$ML_SYSTEM_BASE.ML" ] && COMPAT="ML-Systems/$ML_SYSTEM_BASE.ML" |
71 [ -f "ML-Systems/$ML_SYSTEM_BASE.ML" ] && COMPAT="ML-Systems/$ML_SYSTEM_BASE.ML" |
73 [ -f "ML-Systems/$ML_SYSTEM.ML" ] && COMPAT="ML-Systems/$ML_SYSTEM.ML" |
72 [ -f "ML-Systems/$ML_SYSTEM.ML" ] && COMPAT="ML-Systems/$ML_SYSTEM.ML" |
74 [ -z "$COMPAT" ] && fail "Missing compatibility file for ML system \"$ML_SYSTEM\"!" |
73 [ -z "$COMPAT" ] && fail "Missing compatibility file for ML system \"$ML_SYSTEM\"!" |