diff options
-rwxr-xr-x | docker/run_tests.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docker/run_tests.sh b/docker/run_tests.sh index 596c80d8..83806d6f 100755 --- a/docker/run_tests.sh +++ b/docker/run_tests.sh @@ -85,6 +85,7 @@ function run_test(){ clean_flag="" if [ $clean == "false" ]; then clean_flag="-n" + fi case $test_name in "vping_ssh") |