diff --git a/tools/test-main b/tools/test-main index a718785..5651085 100755 --- a/tools/test-main +++ b/tools/test-main @@ -2,7 +2,7 @@ set -ev -tools/test-bots --coverage -tools/test-botserver --coverage combine -tools/test-zulip --coverage combine -tools/test-lib --coverage combine +tools/test-bots "$@" --coverage +tools/test-botserver "$@" --coverage combine +tools/test-zulip "$@" --coverage combine +tools/test-lib "$@" --coverage combine