diff options
Diffstat (limited to 'testsuite/tests/ghci/should_run/all.T')
| -rw-r--r-- | testsuite/tests/ghci/should_run/all.T | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/testsuite/tests/ghci/should_run/all.T b/testsuite/tests/ghci/should_run/all.T index 54400197a7..a9eded46d9 100644 --- a/testsuite/tests/ghci/should_run/all.T +++ b/testsuite/tests/ghci/should_run/all.T @@ -14,7 +14,8 @@ test('T3171', skip, # This test is quite flaky (#15383) req_interp, combined_output], - makefile_test, []) + run_command, + ['$MAKE -s --no-print-directory T3171']) test('ghcirun004', just_ghci, compile_and_run, ['']) test('T8377', just_ghci, compile_and_run, ['']) |