--- zzzz-none-000/linux-4.9.279/scripts/Makefile.headersinst 2021-08-08 06:38:54.000000000 +0000 +++ puma7-arm-6591-750/linux-4.9.279/scripts/Makefile.headersinst 2023-02-08 10:58:16.000000000 +0000 @@ -1,3 +1,5 @@ +# Includes Intel Corporation's changes/modifications dated: 2017. +# Changed/modified portions - Copyright © 2017, Intel Corporation. # ========================================================================== # Installing headers # @@ -87,7 +89,7 @@ touch $@ quiet_cmd_remove = REMOVE $(unwanted) - cmd_remove = rm -f $(unwanted-file) + cmd_remove = #rm -f $(unwanted-file) quiet_cmd_check = CHECK $(printdir) ($(words $(all-files)) files) # Headers list can be pretty long, xargs helps to avoid