diff options
Diffstat (limited to '.gitlab/gen_ci.hs')
| -rwxr-xr-x | .gitlab/gen_ci.hs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitlab/gen_ci.hs b/.gitlab/gen_ci.hs index 95458e097c..bd5baf7bbf 100755 --- a/.gitlab/gen_ci.hs +++ b/.gitlab/gen_ci.hs @@ -141,6 +141,7 @@ data BuildConfig , tablesNextToCode :: Bool , threadSanitiser :: Bool , noSplitSections :: Bool + , testsuiteUsePerf :: Bool } -- Extra arguments to pass to ./configure due to the BuildConfig @@ -188,6 +189,7 @@ vanilla = BuildConfig , tablesNextToCode = True , threadSanitiser = False , noSplitSections = False + , testsuiteUsePerf = False } splitSectionsBroken :: BuildConfig -> BuildConfig @@ -663,6 +665,7 @@ job arch opsys buildConfig = NamedJob { name = jobName, jobInfo = Job {..} } Emulator s -> "CROSS_EMULATOR" =: s NoEmulatorNeeded -> mempty , if withNuma buildConfig then "ENABLE_NUMA" =: "1" else mempty + , if testsuiteUsePerf buildConfig then "RUNTEST_ARGS" =: "--config perf_path=perf" else mempty ] jobArtifacts = Artifacts |