diff options
author | sharath <sharathkumarboyanapally@gmail.com> | 2018-09-17 19:38:42 +0530 |
---|---|---|
committer | sharath <sharathkumarboyanapally@gmail.com> | 2018-09-18 22:43:38 +0530 |
commit | ea51d29ba72637b088d0e8cc781364968726e0ae (patch) | |
tree | b865f0d396f317edbb2a3f6ce8ba14cbcca03dc2 /scripts | |
parent | 2827d26800e19858d4a9856c8a8f977a273f9910 (diff) |
Fix: report DMM deb/rpm build failure
Change-Id: I2ecc60b46b348a55335b0ce3050e0936147060bc
Signed-off-by: sharath <sharathkumarboyanapally@gmail.com>
Diffstat (limited to 'scripts')
-rw-r--r--[-rwxr-xr-x] | scripts/compile_dmm.sh | 16 |
1 files changed, 14 insertions, 2 deletions
diff --git a/scripts/compile_dmm.sh b/scripts/compile_dmm.sh index f9a6c78..c378bae 100755..100644 --- a/scripts/compile_dmm.sh +++ b/scripts/compile_dmm.sh @@ -21,9 +21,21 @@ else fi if [ "$OS_ID" == "centos" ]; then - make pkg-rpm || exit 1 + make pkg-rpm + if [ $? -eq 0 ]; then + echo "DMM rpm build is SUCCESS" + else + echo "DMM rpm build has FAILED" + exit 1 + fi elif [ "$OS_ID" == "ubuntu" ]; then - make pkg-deb || exit 1 + make pkg-deb + if [ $? -eq 0 ]; then + echo "DMM deb build is SUCCESS" + else + echo "DMM deb build has FAILED" + exit 1 + fi fi echo "DMM build has FINISHED" |