[Enhancement] Silence meaningless error messages in copy.sh

2023-11-21 12:43:37 +00:00
parent eadef007ed
commit a8e610e8c1
1 changed files with 1 additions and 2 deletions
--- 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