diff options
Diffstat (limited to 'testsuite')
| -rw-r--r-- | testsuite/driver/testlib.py | 7 | ||||
| -rw-r--r-- | testsuite/tests/plugins/all.T | 2 |
2 files changed, 8 insertions, 1 deletions
diff --git a/testsuite/driver/testlib.py b/testsuite/driver/testlib.py index 4a87f0a117..d29024ddc0 100644 --- a/testsuite/driver/testlib.py +++ b/testsuite/driver/testlib.py @@ -1002,6 +1002,13 @@ def badResult(result): def run_command( name, way, cmd ): return simple_run( name, '', override_options(cmd), '' ) +def makefile_test( name, way, target=None ): + if target is None: + target = name + + cmd = '$MAKE -s --no-print-directory {target}'.format(target=target) + return run_command(name, way, cmd) + # ----------------------------------------------------------------------------- # GHCi tests diff --git a/testsuite/tests/plugins/all.T b/testsuite/tests/plugins/all.T index 30b8fd6b2b..7a5be6593c 100644 --- a/testsuite/tests/plugins/all.T +++ b/testsuite/tests/plugins/all.T @@ -214,4 +214,4 @@ test('T16104', [extra_files(['T16104-plugin/']), pre_cmd('$MAKE -s --no-print-directory -C T16104-plugin package.T16104-plugin TOP={top}') ], - run_command, ['$MAKE -s --no-print-directory T16104']) + makefile_test, []) |