summaryrefslogtreecommitdiff
path: root/arch/arm/tools
diff options
context:
space:
mode:
Diffstat (limited to 'arch/arm/tools')
-rw-r--r--arch/arm/tools/Makefile11
1 files changed, 7 insertions, 4 deletions
diff --git a/arch/arm/tools/Makefile b/arch/arm/tools/Makefile
index 32d05c821..6e4cd1867 100644
--- a/arch/arm/tools/Makefile
+++ b/arch/arm/tools/Makefile
@@ -4,7 +4,10 @@
# Copyright (C) 2001 Russell King
#
-include/generated/mach-types.h: $(src)/gen-mach-types $(src)/mach-types
- @$(kecho) ' Generating $@'
- @mkdir -p $(dir $@)
- $(Q)$(AWK) -f $^ > $@ || { rm -f $@; /bin/false; }
+quiet_cmd_gen_mach = GEN $@
+ cmd_gen_mach = mkdir -p $(dir $@) && \
+ $(AWK) -f $(filter-out $(PHONY),$^) > $@ || \
+ { rm -f $@; /bin/false; }
+
+include/generated/mach-types.h: $(src)/gen-mach-types $(src)/mach-types FORCE
+ $(call if_changed,gen_mach)