diff options
author | Simon Marlow <marlowsd@gmail.com> | 2009-09-17 13:40:46 +0000 |
---|---|---|
committer | Simon Marlow <marlowsd@gmail.com> | 2009-09-17 13:40:46 +0000 |
commit | 1affe6b3f8d81b483360cc30f2e2dc56278b7f03 (patch) | |
tree | ed939686d0ad85712486963cf32b371a2a924246 /tests | |
parent | 4cddcfd678da145f24177a16c1c17271f81b6b5d (diff) |
Add comments about why user001 might fail on Linux.
Diffstat (limited to 'tests')
-rw-r--r-- | tests/all.T | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/tests/all.T b/tests/all.T index a66f52a..eb94d7d 100644 --- a/tests/all.T +++ b/tests/all.T @@ -10,6 +10,11 @@ test('fileexist01', conf, compile_and_run, ['-package unix']) test('forkprocess01', compose(only_compiler_types(['ghc']), compose(expect_fail_for(['threaded2']), conf)), compile_and_run, ['-package unix']) + +# +# user001 may fail due to this bug in glibc: +# http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=466647 +# test('user001', conf, compile_and_run, ['-package unix']) test('resourceLimit', conf, compile_and_run, ['-package unix']) |