MERCURY_OPTIONS= --deep-random-write=25 --mdb-disable-progress cat: write error: No space left on device cat: write error: No space left on device cat: write error: No space left on device /mnt/testing/run/build/mercury-srcdist-rotd-2023-04-27/stage2/scripts/mmake: 380: echo: echo: I/O error cat: write error: No space left on device /mnt/testing/run/build/mercury-srcdist-rotd-2023-04-27/stage2/scripts/mmake: 382: echo: echo: I/O error cat: write error: No space left on device make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2023-04-27/tests/term' make[3]: *** No rule to make target 'pl7_6_2a.depend'. make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2023-04-27/tests/term' FAILED TEST term/pl7_6_2a in grade asm_fast.gc