diff options
Diffstat (limited to 'testsuite/tests/plugins/all.T')
-rw-r--r-- | testsuite/tests/plugins/all.T | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/testsuite/tests/plugins/all.T b/testsuite/tests/plugins/all.T index 0e523f0d28..57866371b3 100644 --- a/testsuite/tests/plugins/all.T +++ b/testsuite/tests/plugins/all.T @@ -70,6 +70,7 @@ test('T12567a', test('T14335', [extra_files(['simple-plugin/', 'plugins01.hs']), - pre_cmd('$MAKE -s --no-print-directory -C simple-plugin package.plugins01 TOP={top}'), - expect_broken(14335)], - run_command, ['$MAKE -s --no-print-directory T14335']) + pre_cmd('$MAKE -s --no-print-directory -C simple-plugin package.plugins01 TOP={top}')], + compile_fail, + ['-package-db simple-plugin/pkg.plugins01/local.package.conf -fplugin Simple.Plugin \ + -fexternal-interpreter -package simple-plugin ' + config.plugin_way_flags]) |