diff options
Diffstat (limited to 'testsuite/config/ghc')
| -rw-r--r-- | testsuite/config/ghc | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/testsuite/config/ghc b/testsuite/config/ghc index ee6b493c18..26ee54cbb8 100644 --- a/testsuite/config/ghc +++ b/testsuite/config/ghc @@ -52,11 +52,13 @@ if (ghc_with_threaded_rts == 1): config.have_smp = True config.run_ways.append('threaded2') +if (ghc_with_dynamic_rts == 1): + config.have_shared_libs = True + if (ghc_dynamic_by_default == 1): config.run_ways.append('static') else: if (ghc_with_dynamic_rts == 1): - config.have_shared_libs = True config.run_ways.append('dyn') if (ghc_with_profiling == 1 and ghc_with_threaded_rts == 1): |