update

[l4.git] / l4 / mk / Makeconf

diff --git a/l4/mk/Makeconf b/l4/mk/Makeconf
index 14ec24792bd97a72ffad481df1aed11e40dac7ff..817c35b99270bd7c5c9827b842997d2b8fe3702e 100644 (file)
--- a/l4/mk/Makeconf
+++ b/l4/mk/Makeconf
@@ -25,7 +25,7 @@
 ifeq ($(origin _L4DIR_MK_MAKECONF),undefined)
 _L4DIR_MK_MAKECONF=y
 
-MAKEFLAGS        += -R
+MAKEFLAGS        += --no-print-directory -Rr
 
 # the default target is all
 all::
@@ -241,6 +241,15 @@ define create_dir
   $(if $(wildcard $(1)),,$(VERBOSE)$(INSTALL) -d $(1))
 endef
 
+# Move $(2) to $(1) if content of both files differ
+define move_if_changed
+  $(VERBOSE)if test ! -r "$(1)" || ! cmp -s $(1) $(2); then \
+    mv $(2) $(1); \
+  else \
+    rm $(2); \
+  fi
+endef
+
 ifneq ($(PT),)
   PLATFORM_TYPE := $(PT)
 endif