From 7a43562ff2c4ddf5a50065a896d1a7860bc29027 Mon Sep 17 00:00:00 2001
From: guowenxue <guowenxue@gmail.com>
Date: Tue, 17 Aug 2021 15:49:30 +0800
Subject: [PATCH] remove unused tools
---
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