diff options
Diffstat (limited to 'testsuite/config/ghc')
| -rw-r--r-- | testsuite/config/ghc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/testsuite/config/ghc b/testsuite/config/ghc index 30e75bf78a..40f9919f7a 100644 --- a/testsuite/config/ghc +++ b/testsuite/config/ghc @@ -55,7 +55,8 @@ if (ghc_with_threaded_rts == 1): if (ghc_with_dynamic_rts == 1): config.have_shared_libs = True -if (ghc_dynamic_by_default == 1): +config.ghc_dynamic_by_default = ghc_dynamic_by_default +if (ghc_dynamic_by_default): config.run_ways.append('static') else: if (ghc_with_dynamic_rts == 1): |