Fix: report DMM deb/rpm build failure 55/14855/2
authorsharath <sharathkumarboyanapally@gmail.com>
Mon, 17 Sep 2018 14:08:42 +0000 (19:38 +0530)
committersharath <sharathkumarboyanapally@gmail.com>
Tue, 18 Sep 2018 17:13:38 +0000 (22:43 +0530)
Change-Id: I2ecc60b46b348a55335b0ce3050e0936147060bc
Signed-off-by: sharath <sharathkumarboyanapally@gmail.com>
scripts/compile_dmm.sh [changed mode: 0755->0644]

old mode 100755 (executable)
new mode 100644 (file)
index f9a6c78..c378bae
@@ -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"