Remove duplicate scripts

oceanbase · Aug 13, 2024 · 6382482 · 6382482
1 parent d16007f
commit 6382482
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/init.sh b/init.sh
@@ -25,10 +25,6 @@ if [ -d "${WORK_DIR}/gather" ]; then
     cp -rf ${WORK_DIR}/gather  ${OBDIAG_HOME}/
 fi
 
-if [ -d "${WORK_DIR}/gather" ]; then
-    cp -rf ${WORK_DIR}/gather  ${OBDIAG_HOME}/
-fi
-
 if [ -d "${WORK_DIR}/example" ]; then
     cp -rf ${WORK_DIR}/example  ${OBDIAG_HOME}/
 fi