From 69c19f6e81b51c82a565f8518c1c3a31084bf15e Mon Sep 17 00:00:00 2001
From: Jan Lindemann <jan@jannet.de>
Date: Wed, 15 Jun 2011 14:55:50 +0000
Subject: [PATCH] dirs.mk: Disable build shortcut for non-development builds

---
 make/dirs.mk | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/make/dirs.mk b/make/dirs.mk
index 857715cf..51656c72 100644
--- a/make/dirs.mk
+++ b/make/dirs.mk
@@ -38,8 +38,10 @@ dirs-%.done:
 	set -e; for d in $(SUBDIRS) ; do make -wC $$d $*; done
 	touch $@
 
+ifeq ($(DEVELOPMENT),true)
 dirs-all.done: $(wildcard $(BUILD_HDRDIR)) $(PREREQ_DIRS_DONE)
 dirs-install.done: dirs-all.done
+endif
 
 dirs.clean:
 	$(make_dirs)