diff options
author | Ben Gamari <ben@well-typed.com> | 2019-01-30 01:06:12 -0500 |
---|---|---|
committer | Ben Gamari <ben@well-typed.com> | 2019-01-30 01:06:12 -0500 |
commit | 76c8fd674435a652c75a96c85abbf26f1f221876 (patch) | |
tree | b02a6f5307a20efc25ddb27c58977069b48972b6 /testsuite/tests/dynlibs | |
parent | 7cdcd3e12a5c3a337e36fa80c64bd72e5ef79b24 (diff) | |
download | haskell-76c8fd674435a652c75a96c85abbf26f1f221876.tar.gz |
Batch merge
Diffstat (limited to 'testsuite/tests/dynlibs')
-rw-r--r-- | testsuite/tests/dynlibs/all.T | 12 |
1 files changed, 4 insertions, 8 deletions
diff --git a/testsuite/tests/dynlibs/all.T b/testsuite/tests/dynlibs/all.T index 88ce37f445..aaa7a62774 100644 --- a/testsuite/tests/dynlibs/all.T +++ b/testsuite/tests/dynlibs/all.T @@ -1,13 +1,9 @@ -test('T3807', [req_shared_libs, when(opsys('mingw32'), skip)], run_command, - ['$MAKE --no-print-directory -s T3807']) +test('T3807', [req_shared_libs, when(opsys('mingw32'), skip)], makefile_test, []) -test('T4464', [req_shared_libs, unless(opsys('mingw32'), skip)], run_command, - ['$MAKE --no-print-directory -s T4464']) +test('T4464', [req_shared_libs, unless(opsys('mingw32'), skip)], makefile_test, []) -test('T5373', [req_shared_libs], run_command, - ['$MAKE --no-print-directory -s T5373']) +test('T5373', [req_shared_libs], makefile_test, []) # It's not clear exactly what platforms we can expect this to succeed on. -test('T13702', unless(opsys('linux'), skip), run_command, - ['$MAKE --no-print-directory -s T13702']) +test('T13702', unless(opsys('linux'), skip), makefile_test, []) |