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)