diff options
author | yalei wang <wylandrea@gmail.com> | 2018-09-18 02:07:35 +0000 |
---|---|---|
committer | Gerrit Code Review <gerrit@fd.io> | 2018-09-18 02:07:35 +0000 |
commit | 2827d26800e19858d4a9856c8a8f977a273f9910 (patch) | |
tree | c9df77c54591f7d8d538a8041eab04b8a432f334 /scripts/compile_dmm.sh | |
parent | 8cf988fa20a721f0d67366ab94a58124b548a089 (diff) | |
parent | 40bea8c1be6873df52cb2c381be3049048985b0d (diff) |
Merge "Fix: rpm build error"
Diffstat (limited to 'scripts/compile_dmm.sh')
-rwxr-xr-x | scripts/compile_dmm.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/compile_dmm.sh b/scripts/compile_dmm.sh index b4bc455..f9a6c78 100755 --- a/scripts/compile_dmm.sh +++ b/scripts/compile_dmm.sh @@ -21,9 +21,9 @@ else fi if [ "$OS_ID" == "centos" ]; then - make pkg-rpm + make pkg-rpm || exit 1 elif [ "$OS_ID" == "ubuntu" ]; then - make pkg-deb + make pkg-deb || exit 1 fi echo "DMM build has FINISHED" |