Merge branch 'revert-661943d8' into 'master'

Revert "Merge branch 'master' into 'master'"

See merge request oceanbase/oceanbase!2

build.sh

@@ -6,8 +6,6 @@ TOOLS_DIR=${TOPDIR}/deps/3rd/usr/local/oceanbase/devtools
 CMAKE_COMMAND=${TOOLS_DIR}/bin/cmake
 CPU_CORES=`grep -c ^processor /proc/cpuinfo`
 
-########
-
 ALL_ARGS=("$@")
 BUILD_ARGS=()
 MAKE_ARGS=(-j $CPU_CORES)