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