MERCURY_OPTIONS= --deep-random-write=25 --mdb-disable-progress
make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-10-01/tests/invalid'
../Mmake.common:335: warning: undefined variable 'TRAILED_PROGS'
/tmp/mmake.9sHMSP:1307: warning: undefined variable 'TRAILED_PROGS'
/tmp/mmake.9sHMSP:1952: warning: undefined variable 'TRAILED_PROGS'
/tmp/mmake.9sHMSP:1952: warning: undefined variable 'TRAILED_PROGS'
/tmp/mmake.9sHMSP:1952: warning: undefined variable 'TRAILED_PROGS'
/tmp/mmake.9sHMSP:1952: warning: undefined variable 'TRAILED_PROGS'
/tmp/mmake.9sHMSP:1952: warning: undefined variable 'TRAILED_PROGS'
/tmp/mmake.9sHMSP:1952: warning: undefined variable 'TRAILED_PROGS'
/tmp/mmake.9sHMSP:1952: warning: undefined variable 'TRAILED_PROGS'
/tmp/mmake.9sHMSP:1953: warning: undefined variable 'TRAILED_PROGS'
/tmp/mmake.9sHMSP:1953: warning: undefined variable 'TRAILED_PROGS'
/tmp/mmake.9sHMSP:1953: warning: undefined variable 'TRAILED_PROGS'
/tmp/mmake.9sHMSP:1953: warning: undefined variable 'TRAILED_PROGS'
/tmp/mmake.9sHMSP:1953: warning: undefined variable 'TRAILED_PROGS'
/tmp/mmake.9sHMSP:1953: warning: undefined variable 'TRAILED_PROGS'
/tmp/mmake.9sHMSP:1953: warning: undefined variable 'TRAILED_PROGS'
if /mnt/testing/run/build/mercury-srcdist-rotd-2024-10-01/stage2/scripts/mmc --grade csharp     --options-file /mnt/testing/run/build/mercury-srcdist-rotd-2024-10-01/stage2/Mercury.options --mercury-linkage static -j2 --flags ../TESTS_FLAGS --flags ../WS_FLAGS --color-diagnostics --use-subdirs  --no-intermodule-optimization --verbose-error-messages   \
	--make-optimization-interface illtyped_compare > illtyped_compare.err 2>&1; \
then false; \
else true; \
fi
make[3]: *** [/tmp/mmake.9sHMSP:1394: illtyped_compare.err] Error 1
make[3]: Target 'illtyped_compare.runtest' not remade because of errors.
make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-10-01/tests/invalid'