diff options
Diffstat (limited to 'testsuite/tests/ghci/scripts/all.T')
| -rwxr-xr-x | testsuite/tests/ghci/scripts/all.T | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/ghci/scripts/all.T b/testsuite/tests/ghci/scripts/all.T index 0b8f62e99f..e558bf6b2d 100755 --- a/testsuite/tests/ghci/scripts/all.T +++ b/testsuite/tests/ghci/scripts/all.T @@ -1,6 +1,6 @@ # coding=utf8 -setTestOpts(if_compiler_profiled(skip)) +setTestOpts(when(compiler_profiled(), skip)) test('ghci001', combined_output, ghci_script, ['ghci001.script']) test('ghci002', combined_output, ghci_script, ['ghci002.script']) |