Commit 29e14643 authored by Tamar Christina's avatar Tamar Christina

Disable T12031 on linux

parent b40e1b4c
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'])
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment