diff options
author | Ben Gamari <ben@smart-cactus.org> | 2019-01-20 22:54:48 -0500 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2019-01-30 10:06:31 -0500 |
commit | bdb559a60a18318b6130f399f158739118237f9b (patch) | |
tree | aafe513748a41ef8d174cb88d211635fd8aecae0 /testsuite/driver | |
parent | 172a59335fa6c76b17fb6795e87fbc7fcfd198e6 (diff) | |
download | haskell-bdb559a60a18318b6130f399f158739118237f9b.tar.gz |
testsuite: Introduce makefile_test
Diffstat (limited to 'testsuite/driver')
-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 |