diff options
Diffstat (limited to 'scripts/test.lua')
| -rw-r--r-- | scripts/test.lua | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/scripts/test.lua b/scripts/test.lua index 52495342a..d66ccd0f0 100644 --- a/scripts/test.lua +++ b/scripts/test.lua @@ -10,6 +10,7 @@ function main() -- Override table: target name -> short name (for targets that don't follow convention) local short_name_overrides = { ["zenserver-test"] = "integration", + ["zen-test"] = "zen", } -- Build test list from targets in the "tests" group @@ -231,7 +232,7 @@ function main() if use_noskip then cmd = string.format("%s --no-skip", cmd) end - if name == "integration" then + if name == "integration" or name == "zen" then cmd = string.format("%s --kill-stale-processes", cmd) if use_verbose then |