diff options
| -rw-r--r-- | hadrian/src/Settings/Builders/RunTest.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/hadrian/src/Settings/Builders/RunTest.hs b/hadrian/src/Settings/Builders/RunTest.hs index c994a7b018..19d22a394f 100644 --- a/hadrian/src/Settings/Builders/RunTest.hs +++ b/hadrian/src/Settings/Builders/RunTest.hs @@ -136,6 +136,7 @@ runTestBuilderArgs = builder Testsuite ? do , arg "-e", arg $ "config.os=" ++ show os , arg "-e", arg $ "config.arch=" ++ show arch , arg "-e", arg $ "config.platform=" ++ show platform + , arg "-e", arg $ "config.stage=" ++ show (fromEnum (C.stage ctx) + 1) , arg "--config", arg $ "gs=gs" -- Use the default value as in test.mk , arg "--config", arg $ "timeout_prog=" ++ show (top -/- timeoutProg) |