From a8e610e8c11b4b8a36d225f3f34be71d5ac46eb3 Mon Sep 17 00:00:00 2001 From: hnwyllmm Date: Tue, 21 Nov 2023 12:43:37 +0000 Subject: [PATCH] [Enhancement] Silence meaningless error messages in copy.sh --- tools/deploy/copy.sh | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/tools/deploy/copy.sh b/tools/deploy/copy.sh index c7e493f8f6..70701f9050 100755 --- a/tools/deploy/copy.sh +++ b/tools/deploy/copy.sh @@ -6,8 +6,7 @@ then BUILD_DIR=$(find $SOURCE_DIR -maxdepth 1 -name 'build_*' -type d | grep -v 'build_ccls' | sort | head -1) if [[ "$BUILD_DIR" == "" ]] then - echo "Please specify the build directory of oceanbase." - exit 1 + echo "Usage ./copy.sh [oceanbase_dev_dir]" else echo "Choose $BUILD_DIR as build directory of oceanbase." fi