From f72e728420367bd69302552cf921f32af8518f4e Mon Sep 17 00:00:00 2001 From: danielml Date: Sat, 10 Feb 2024 18:04:11 +0100 Subject: [PATCH] scripts: headers: Skip removal of `unwanted` headers Change-Id: I5ba672e50a991c266e4e4195a25155708380ab69 --- scripts/Makefile.headersinst | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/scripts/Makefile.headersinst b/scripts/Makefile.headersinst index 029d85bb0b23..b95236981f3c 100755 --- a/scripts/Makefile.headersinst +++ b/scripts/Makefile.headersinst @@ -69,9 +69,9 @@ quiet_cmd_remove = REMOVE $(unwanted) cmd_remove = rm -f $(unwanted) __headers: $(all-headers) -ifneq ($(unwanted),) - $(call cmd,remove) -endif +#ifneq ($(unwanted),) +# $(call cmd,remove) +#endif @: existing-headers := $(filter $(old-headers), $(all-headers))