update setup_systools.sh

Guo Wenxue

2022-04-08 621eab30375de32f1b947793aacfcf3392d39246

 3rdparty/local/build.sh

@@ -31,6 +31,8 @@
            rm -rf ${dir}/${dir}*
        fi
    done

    rm -rf install
}

if [[ $# == 1 ]] && [[ $1 == "clean" ]] ; then