MERCURY_OPTIONS= --deep-random-write=25 --deep-std-name --mdb-disable-progress
gmake[3]: Entering directory '/home/mercury/testing/run/build/mercury-srcdist-rotd-2025-05-12/tests/invalid_make_int'
if /home/mercury/testing/run/build/mercury-srcdist-rotd-2025-05-12/stage2/scripts/mmc --make-interface --grade csharp    --options-file /home/mercury/testing/run/build/mercury-srcdist-rotd-2025-05-12/stage2/Mercury.options --mercury-linkage static -j2 --flags ../TESTS_FLAGS --flags ../WS_FLAGS --color-diagnostics --use-subdirs     redundant_import \
	> redundant_import.int_err 2>&1; \
then false; \
else true; \
fi
Comparing redundant_import.int_err with redundant_import.int_err_exp*,
	results in redundant_import.int_err_res
** redundant_import.int_err did not match the expected error output
** (closest match was redundant_import.int_err_res1)
--- redundant_import.int_err_exp	2025-05-12 23:02:36.000000000 +1000
+++ redundant_import.int_err	2025-05-13 06:52:03.797269771 +1000
@@ -1,3 +1,4 @@
 redundant_import.m:013: In declaration of predicate `main'/3:
 redundant_import.m:013:   error: the type `undef_type'/0 is undefined.
-`redundant_import.int' and `redundant_import.int2' not written.
+`Mercury/ints/redundant_import.int' and `Mercury/int2s/redundant_import.int2'
+  not written.
gmake[3]: *** [../Mmake.common:200: redundant_import.int_err_res] Error 1
gmake[3]: Target 'redundant_import.runtest' not remade because of errors.
rm redundant_import.int_err_res
gmake[3]: Leaving directory '/home/mercury/testing/run/build/mercury-srcdist-rotd-2025-05-12/tests/invalid_make_int'