From 5de4b1c5d89dff3609eb486c1a2fc69a5e5d2371 Mon Sep 17 00:00:00 2001
From: Chris McCormick <chris@mccormick.cx>
Date: Sat, 25 Oct 2014 19:12:49 +0800
Subject: [PATCH] When building webpages, skip clean-tree check if WEBDEV flag
 is set.

---
 Makefile-web | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile-web b/Makefile-web
index 2a8718ea..bf8550d7 100644
--- a/Makefile-web
+++ b/Makefile-web
@@ -18,7 +18,7 @@ modcheck:
 	@FOUND=$$(echo $$(find ccan -name _info | sed 's,ccan/\(.*\)/_info,\1,' | sort) ); LISTED=$$(echo $$(echo $(MODS) | tr ' ' '\012' | sort) ); if [ "$$FOUND" = "$$LISTED" ]; then exit 0; fi; while true; do a="$${FOUND%% *}"; b="$${LISTED%% *}"; if [ "$$a" != "$$b" ]; then echo "$$a found but $$b in MOD" >&2; exit 1; fi; FOUND="$${FOUND#* }"; LISTED="$${LISTED#* }"; done
 
 clean-tree:
-	! git status --porcelain | grep .
+	[ "$(WEBDEV)" ] || ! git status --porcelain | grep .
 
 webpages: modcheck clean-tree $(WEB_SUBDIRS) $(WEBDIR)/index.html $(WEBDIR)/upload.html $(WEBDIR)/uploader.php $(WEBDIR)/example-config.h $(WEBDIR)/ccan.jpg $(DIRECT_TARBALLS) $(DEPEND_TARBALLS) $(WEBDIR)/ccan.tar.bz2 $(WEBDIR)/Makefile-ccan $(ALL_PAGES) junkpages
 
-- 
2.39.2