From 15afc4b4bbaa7b5f5e4df7df6918838b37535311 Mon Sep 17 00:00:00 2001 From: jinhai Date: Tue, 7 May 2019 16:45:03 +0800 Subject: [PATCH] ./build.sh -t Release will make a release version Former-commit-id: 7acb08bb5d8d2d64ab1b64ac73ae5373c01d6e80 --- cpp/build.sh | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/cpp/build.sh b/cpp/build.sh index 6353e59e2d..53486a45e2 100755 --- a/cpp/build.sh +++ b/cpp/build.sh @@ -26,7 +26,7 @@ usage: exit 0 ;; ?) - echo "unkonw argument" + echo "unknown argument" exit 1 ;; esac @@ -52,3 +52,7 @@ ${CMAKE_CMD} make clean && make -j || exit 1 +if [[ ${BUILD_TYPE} != "Debug" ]]; then + strip src/vecwise_server +fi +