diff options
| author |   yalei wang <wylandrea@gmail.com> | 2018-09-07 02:55:20 +0000 |
|---|---|---|
| committer |   Gerrit Code Review <gerrit@fd.io> | 2018-09-07 02:55:20 +0000 |
| commit | 6fecab16fe88454e4e3aa1f6cb6df96f92bfd513 (patch) | |
| tree | 80aec6276744337e40472cf85749cc920876a2bc /scripts/compile_dmm.sh | |
| parent | 9f683fadb09aaea5a07f4673f8bbc3a7ddd38afc (diff) | |
| parent | b8ad58fc06cef1af61a6dad31e71d4c15626f5f6 (diff) | |
Merge "Fix: enhancing the build scripts"
Diffstat (limited to 'scripts/compile_dmm.sh')
| -rwxr-xr-x | scripts/compile_dmm.sh | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/scripts/compile_dmm.sh b/scripts/compile_dmm.sh new file mode 100755 index 0000000..b4bc455 --- /dev/null +++ b/scripts/compile_dmm.sh @@ -0,0 +1,29 @@ +#!/bin/bash -x + +set -x + +BUILD_DIR=`dirname $(readlink -f $0)`/../build + +OS_ID=$(grep '^ID=' /etc/os-release | cut -f2- -d= | sed -e 's/\"//g') + +echo "DMM build started....." + +cd $BUILD_DIR +rm -rf * +cmake .. +make -j 8 + +if [ $? -eq 0 ]; then + echo "DMM build is SUCCESS" +else + echo "DMM build has FAILED" + exit 1 +fi + +if [ "$OS_ID" == "centos" ]; then + make pkg-rpm +elif [ "$OS_ID" == "ubuntu" ]; then + make pkg-deb +fi + +echo "DMM build has FINISHED" |