From 621eab30375de32f1b947793aacfcf3392d39246 Mon Sep 17 00:00:00 2001
From: Guo Wenxue <guowenxue@gmail.com>
Date: Fri, 08 Apr 2022 22:40:06 +0800
Subject: [PATCH] update setup_systools.sh
---
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