diff options
Diffstat (limited to 'scripts/test.lua')
| -rw-r--r-- | scripts/test.lua | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/scripts/test.lua b/scripts/test.lua index 3c18225fb..52495342a 100644 --- a/scripts/test.lua +++ b/scripts/test.lua @@ -231,8 +231,12 @@ function main() if use_noskip then cmd = string.format("%s --no-skip", cmd) end - if use_verbose and name == "integration" then - cmd = string.format("%s --verbose", cmd) + if name == "integration" then + cmd = string.format("%s --kill-stale-processes", cmd) + + if use_verbose then + cmd = string.format("%s --verbose", cmd) + end end for _, arg in ipairs(extra_args) do cmd = string.format("%s %s", cmd, arg) |