testsuite: Mark test-hole-plugin as req_th
authorBen Gamari <ben@smart-cactus.org>
Tue, 9 Jul 2019 22:45:21 +0000 (18:45 -0400)
committerBen Gamari <ben@well-typed.com>
Fri, 19 Jul 2019 00:55:11 +0000 (20:55 -0400)
This requires code loading and therefore can't be run in the profiled
ways when GHC is dynamically linked.

testsuite/tests/plugins/all.T

index aae264c..e6252b2 100644 (file)
@@ -211,6 +211,7 @@ test('T16260',
 test('test-hole-plugin',
      [extra_files(['hole-fit-plugin/']),
       pre_cmd('$MAKE -s --no-print-directory -C hole-fit-plugin package.hole-fit-plugin TOP={top}'),
-      extra_hc_opts('-package-db hole-fit-plugin/pkg.hole-fit-plugin/local.package.conf '+ config.plugin_way_flags)
+      extra_hc_opts('-package-db hole-fit-plugin/pkg.hole-fit-plugin/local.package.conf '+ config.plugin_way_flags),
+      req_th
       ],
      compile, ['-fdefer-typed-holes'])