Disable T12031 on linux
authorTamar Christina <tamar@zhox.com>
Sun, 12 Jun 2016 12:41:18 +0000 (14:41 +0200)
committerTamar Christina <tamar@zhox.com>
Sun, 12 Jun 2016 12:41:18 +0000 (14:41 +0200)
testsuite/tests/rts/T12031/all.T

index b051514..5e1a0a8 100644 (file)
@@ -1,4 +1,5 @@
 test('T12031', [ extra_clean(['bar.o', 'baz.o', 'ExternBug.o'])
                , extra_files(['bar.c', 'baz.c', 'ExternBug.hs', 'foo.h'])
+               , unless(opsys('mingw32'), skip)
                ],
                run_command, ['$MAKE -s --no-print-directory T12031'])