diff options
author | Simon Marlow <marlowsd@gmail.com> | 2011-11-21 14:37:15 +0000 |
---|---|---|
committer | Simon Marlow <marlowsd@gmail.com> | 2011-11-21 14:37:15 +0000 |
commit | c213ae2ec6d9c71266aebc8e5b2326a9625fba7a (patch) | |
tree | 87a9348d6100afaee80786f79aac18194e466f5d /tests | |
parent | 722396c78f534aeeaa2ee65121d705949576f2cb (diff) |
executeFile001: omit profiling ways
The RTS doesn't get a chance to produce the profile output after
executeFile, so tests that check for correct profiling output will fail.
Diffstat (limited to 'tests')
-rw-r--r-- | tests/all.T | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/all.T b/tests/all.T index 273d185..4b888be 100644 --- a/tests/all.T +++ b/tests/all.T @@ -59,4 +59,4 @@ test('3816', normal, compile_and_run, ['-package unix']) test('processGroup001', normal, compile_and_run, ['-package unix']) test('processGroup002', normal, compile_and_run, ['-package unix']) -test('executeFile001', normal, compile_and_run, ['-package unix']) +test('executeFile001', omit_ways(prof_ways), compile_and_run, ['-package unix']) |