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/cross/appweb/build.sh | 7 +++++++
1 files changed, 7 insertions(+), 0 deletions(-)
diff --git a/3rdparty/cross/appweb/build.sh b/3rdparty/cross/appweb/build.sh
index 1cb7943..f09042d 100755
--- a/3rdparty/cross/appweb/build.sh
+++ b/3rdparty/cross/appweb/build.sh
@@ -219,6 +219,13 @@
ls -l appweb-${BOARD}.tar.gz
}
+
+if [[ $# == 1 ]] && [[ $1 == "clean" ]] ; then
+ rm -rf appweb*
+ rm -rf php*
+ exit;
+fi
+
export_cross
compile_php
--
Gitblit v1.9.1