diff options
author | 2018-07-16 01:33:42 +0000 | |
---|---|---|
committer | 2018-07-16 01:33:42 +0000 | |
commit | 52241f47567ae07efecaf14b76f3e16fa23d171c (patch) | |
tree | 9c9f02af62566cf5a5a3956404982d6d9e8e1d94 /scripts | |
parent | 4cfebdd30a88eb27e9f8baa6634005239851bf02 (diff) | |
parent | 216bbeeed66739cee4d0f9c38ce9e800205ed7bf (diff) |
Merge "Fix rpm build error after clean junk file"
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/build.sh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/scripts/build.sh b/scripts/build.sh index a887f9f..1b5f6a4 100755 --- a/scripts/build.sh +++ b/scripts/build.sh @@ -120,7 +120,6 @@ fi #===========build DMM================= echo "DMM build started....." -cd $DMM_DIR/thirdparty/glog/glog-0.3.4/ && autoreconf -ivf cd $BUILD_DIR rm -rf * cmake .. |