diff options
-rwxr-xr-x | run-test.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/run-test.sh b/run-test.sh index cd471a4434..0cf9aef1b4 100755 --- a/run-test.sh +++ b/run-test.sh @@ -221,6 +221,12 @@ run_test() fi dirName="$1/$TestRelPath" + + if [ ! -d "$dirName" ]; then + echo "Nothing to test in $testProject" + exit 0 + fi + copy_test_overlay $dirName pushd $dirName > /dev/null |