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 | |
| parent | 8cf988fa20a721f0d67366ab94a58124b548a089 (diff) | |
| parent | 40bea8c1be6873df52cb2c381be3049048985b0d (diff) | |
Merge "Fix: rpm build error"
Diffstat (limited to 'scripts')
| -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" |