diff options
Diffstat (limited to 'extras')
| -rw-r--r-- | extras/bash/functions.bash | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/extras/bash/functions.bash b/extras/bash/functions.bash index 98b0d6300bc..9faf1049c2b 100644 --- a/extras/bash/functions.bash +++ b/extras/bash/functions.bash @@ -29,14 +29,23 @@ vpp-make-test() local run_make_test local old_pwd local test_desc + local grep_results + local result + local fail + local i + local line local is_feature="false" local retry_count=100 local tester=${GERRIT_USER:-$USER} local jobs="auto" if [ -z "$WS_ROOT" ] ; then - echo "ERROR: WS_ROOT is not set!" - return + if [ -d "./extras/bash" ] ; then + export WS_ROOT="$(pwd)" + else + echo "ERROR: WS_ROOT is not set!" + return + fi elif [ ! -d "$WS_ROOT/src/vppinfra" ] ; then echo "ERROR: WS_ROOT is not set to a VPP workspace!" return |