Commit 33254358 authored by Ben Gamari's avatar Ben Gamari 🐢 Committed by Ben Gamari

testsuite: Mark T9405 as broken on Windows

There seems to be a runtime system bug here, as described in #12714.
parent 8b84b4fd
......@@ -52,7 +52,9 @@ T9405:
sleep 0.2; \
kill -2 $$!; \
wait $$!; \
[ -s T9405.ticky ] && echo Ticky-Ticky
[ -e T9405.ticky ] || echo "Error: Ticky profile doesn't exist"; \
[ -s T9405.ticky ] || echo "Error: Ticky profile is empty"; \
echo Ticky-Ticky;
# Naming convention: 'T5423_' obj-way '_' obj-src
# obj-way ::= v | dyn
......
......@@ -357,7 +357,7 @@ test('T10904', [ omit_ways(['ghci']), extra_run_opts('20000') ],
test('T10728', [extra_run_opts('+RTS -maxN3 -RTS'), only_ways(['threaded2'])],
compile_and_run, [''])
test('T9405', [extra_clean(['T9405.ticky'])],
test('T9405', [extra_clean(['T9405.ticky']), when(msys(), expect_broken(12714))],
run_command, ['$MAKE -s --no-print-directory T9405'])
test('T11788', when(ghc_dynamic(), skip),
......
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