diff options
Diffstat (limited to 'hadrian/src/Settings/Builders')
| -rw-r--r-- | hadrian/src/Settings/Builders/RunTest.hs | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/hadrian/src/Settings/Builders/RunTest.hs b/hadrian/src/Settings/Builders/RunTest.hs index 96df86606e..a26092ef49 100644 --- a/hadrian/src/Settings/Builders/RunTest.hs +++ b/hadrian/src/Settings/Builders/RunTest.hs @@ -141,8 +141,7 @@ runTestBuilderArgs = builder RunTest ? do , arg "--config", arg $ "stats_files_dir=" ++ statsFilesDir , arg $ "--threads=" ++ show threads , emitWhenSet testEnv $ \env -> arg ("--test-env=" ++ show env) - , emitWhenSet testMetricsFile $ \file -> mconcat - [ arg "--metrics-file", arg (show file) ] + , emitWhenSet testMetricsFile $ \file -> arg ("--metrics-file=" ++ file) , getTestArgs -- User-provided arguments from command line. ] |