[misc] make: harden parallel copying of the Makefile.module GitOrigin-RevId: 2612516ebf1e33022233ad19741e5c7cda014483
@@ -17,7 +17,7 @@ MODULE_MAKEFILES := $(MODULE_DIRS:=/Makefile)
MODULE_NAME=$(shell basename $(MODULE))
$(MODULE_MAKEFILES): Makefile.module
- cp Makefile.module $@
+ cp Makefile.module $@ || diff Makefile.module $@
#
# Clean