diff options
Diffstat (limited to 'scripts/Makefile.lib')
| -rw-r--r-- | scripts/Makefile.lib | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/scripts/Makefile.lib b/scripts/Makefile.lib index cffdfbbcfd1d..007551d70536 100644 --- a/scripts/Makefile.lib +++ b/scripts/Makefile.lib @@ -183,8 +183,12 @@ cmd_gzip = gzip -f -9 < $< > $@ # Generic stuff # =========================================================================== +ifneq ($(KBUILD_NOCMDDEP),1) # Check if both arguments has same arguments. Result in empty string if equal -arg-check := $(strip $(filter-out $(1), $(2)) $(filter-out $(2), $(1)) ) +# User may override this check using make KBUILD_NOCMDDEP=1 +_arg-check = $(strip $(filter-out $(1), $(2)) $(filter-out $(2), $(1)) ) + +endif # echo command. Short version is $(quiet) equals quiet, otherwise full command echo-cmd = $(if $($(quiet)cmd_$(1)), \ |