remove unused tools

guowenxue

2021-08-17 7a43562ff2c4ddf5a50065a896d1a7860bc29027

 3rdparty/local/build.sh

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

    rm -rf install
}

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