diff options
Diffstat (limited to 'testsuite/driver/testlib.py')
| -rw-r--r-- | testsuite/driver/testlib.py | 7 |
1 files changed, 7 insertions, 0 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 |