From d634817310a7186e9a84a65bb135d850d0adee17 Mon Sep 17 00:00:00 2001 From: guowenxue <guowenxue@gmail.com> Date: Tue, 17 Aug 2021 14:32:40 +0800 Subject: [PATCH] update 3rdparty local build shell script --- 3rdparty/local/build.sh | 2 ++ 1 files changed, 2 insertions(+), 0 deletions(-) diff --git a/3rdparty/local/build.sh b/3rdparty/local/build.sh index 60a7516..5b982b5 100755 --- a/3rdparty/local/build.sh +++ b/3rdparty/local/build.sh @@ -31,6 +31,8 @@ rm -rf ${dir}/${dir}* fi done + + rm -rf install } if [[ $# == 1 ]] && [[ $1 == "clean" ]] ; then -- Gitblit v1.9.1