MERCURY_OPTIONS= --deep-random-write=25 --mdb-disable-progress
make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-01-05/tests/invalid_options_file'
if /mnt/testing/run/build/mercury-srcdist-rotd-2024-01-05/stage2/scripts/mmc --errorcheck-only --options-file nonexistent_file.options_file \
	--halt-at-warn --grade hlc.par.gc     --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS     nonexistent_file \
	> nonexistent_file.err 2>&1; \
then false; \
else true; \
fi
Comparing nonexistent_file.err with nonexistent_file.err_exp*,
	results in nonexistent_file.err_res
** nonexistent_file.err did not match the expected error output
** (closest match was nonexistent_file.err_res1)
--- nonexistent_file.err_exp	2023-09-17 21:02:33.000000000 +1000
+++ nonexistent_file.err	2024-01-06 12:29:19.268961239 +1100
@@ -1,3 +1 @@
-nonexistent_file.options_file:002: Cannot open options file
-nonexistent_file.options_file:002:   `/nonexistent.xyzzy': cannot find
-nonexistent_file.options_file:002:   `nonexistent.xyzzy' in directory `/'.
+Segmentation fault
make[3]: *** [../Mmake.common:172: nonexistent_file.err_res] Error 1
make[3]: Target 'nonexistent_file.runtest' not remade because of errors.
make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-01-05/tests/invalid_options_file'