Omit T7773 on Msys
authorSimon Peyton Jones <simonpj@microsoft.com>
Wed, 15 May 2013 16:46:25 +0000 (17:46 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Wed, 15 May 2013 16:46:25 +0000 (17:46 +0100)
Patch from Andreas Voellmy

tests/all.T

index 7a56fe6..5d0dd24 100644 (file)
@@ -122,4 +122,6 @@ test('qsem001', normal, compile_and_run, [''])
 test('qsemn001', normal, compile_and_run, [''])
 
 test('T7457', normal, compile_and_run, [''])
-test('T7773', normal, compile_and_run, [''])
+
+test('T7773', when(opsys('mingw32'), skip), compile_and_run, [''])
+# Andreas says that T7773 will not (and should not) work on Windows