From f696e95a01ee103605a9ed5fd23de58847ab9abc Mon Sep 17 00:00:00 2001 From: guowenxue <guowenxue@gmail.com> Date: Wed, 03 Nov 2021 22:47:05 +0800 Subject: [PATCH] rename gpio.c to gpiod.c for it will conflict with rpi gpio command --- 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