From f7ec3fe567eaa5ed829bffc46ff6064fa4ce71a0 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Mon, 13 Feb 2012 19:55:38 +0100
Subject: [PATCH] make build-clean can trash MODULES/build like for tests-clean
 to force a build update

---
 Makefile | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/Makefile b/Makefile
index 78533ca6..1e26d5a7 100644
--- a/Makefile
+++ b/Makefile
@@ -389,6 +389,10 @@ $(foreach module,$(ALL.modules),$(eval $(call target_extract_module,$(module))))
 
 ### the tests area
 # use this makefile to extract tests rather than extracting manually in vbuild-nightly
+build-clean:
+	rm -rf MODULES/build
+.PHONY: build-clean
+
 tests-clean:
 	rm -rf MODULES/tests
 .PHONY: tests-clean
-- 
2.47.0