diff options
Diffstat (limited to 'testsuite/config')
| -rw-r--r-- | testsuite/config/ghc | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/testsuite/config/ghc b/testsuite/config/ghc index fa2c9d7c7c..4ecdc5bcb0 100644 --- a/testsuite/config/ghc +++ b/testsuite/config/ghc @@ -55,11 +55,8 @@ if ghc_with_threaded_rts: if ghc_with_dynamic_rts: config.have_shared_libs = True -if config.ghc_dynamic_by_default and config.have_vanilla == 1: - config.run_ways.append('static') -else: - if ghc_with_dynamic_rts: - config.run_ways.append('dyn') +if ghc_with_dynamic_rts: + config.run_ways.append('dyn') if (config.have_profiling and ghc_with_threaded_rts): config.run_ways.append('profthreaded') |