diff options
| author | Jose Perez Rodriguez <joperezr@microsoft.com> | 2017-01-06 01:03:56 +0300 |
|---|---|---|
| committer | Jose Perez Rodriguez <joperezr@microsoft.com> | 2017-01-06 01:03:56 +0300 |
| commit | 44b68e694948065c1b61457cec125d3d64c1fa22 (patch) | |
| tree | fc7093fb753c57f29ce42de9dd64ecc435d2e95c /run-test.sh | |
| parent | d4d3bbdf7b8b35b5a330c94427051582470531d0 (diff) | |
| parent | 05ae65fd6b51f865750e8d400c60511fcdbbbfb5 (diff) | |
Merge branch master into dev/eng
Diffstat (limited to 'run-test.sh')
| -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 798548d114..0da216ae0a 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 |