diff options
| author |   Thomas F Herbert <therbert@redhat.com> | 2016-11-05 19:56:05 -0400 |
|---|---|---|
| committer | Thomas F Herbert <therbert@redhat.com> | 2016-11-05 22:11:00 -0400 |
| commit | cd7e67d9328def5dac610d2cc9a11b6cbb48edc2 (patch) | |
| tree | 0eaabb3469939046b6064574ea30304c6f383f56 | |
| parent | 01d154f76076dafd4832e4f298207bc0e8ae3973 (diff) | |
Fix base directory so Jenkins can find build dir.
The ci-man sets up the JJB with relative path names
so this base directory was incorrect and it
couldn't find build directory.
Change-Id: I635f81194b254b89875eeb907679b17b2cc0c8ae
Signed-off-by: Thomas F Herbert <therbert@redhat.com>
| -rwxr-xr-x | scripts/ci/verify.sh | 21 |
1 files changed, 15 insertions, 6 deletions
diff --git a/scripts/ci/verify.sh b/scripts/ci/verify.sh index ed698b4..219821e 100755 --- a/scripts/ci/verify.sh +++ b/scripts/ci/verify.sh @@ -18,14 +18,23 @@ elif [ -f /etc/redhat-release ];then cat /etc/redhat-release echo fi -export BASE_DIR=$(dirname $0)/../rpm_dpdk +export BASE_DIR=$(dirname $0)/../.. echo "======================================" echo "BASE_DIR: ${BASE_DIR}" echo -if [ -d ${BASE_DIR}/build ]; then - cd ${BASE_DIR}/build/ - if [ -e build.sh ]; then - ./build.sh - fi +if [ ! -d ${BASE_DIR}/build ]; then + echo "==================================" + echo "${BASE_DIR}/build doesn't exist" + echo + exit 0 +fi +cd ${BASE_DIR}/build/ +if [ ! -e build.sh ]; then + echo "==================================" + echo "build.sh doesn't exist" + echo + exit 0 fi +echo ./build.sh +./build.sh |