From 35d64a1fbab06aec1ab98edb185912b8a6b94222 Mon Sep 17 00:00:00 2001
From: Jakob Ackermann <jakob.ackermann@overleaf.com>
Date: Fri, 24 Jul 2020 10:55:22 +0200
Subject: [PATCH] Merge pull request #3020 from
 overleaf/jpa-harden-copying-of-makefiles

[misc] make: harden parallel copying of the Makefile.module

GitOrigin-RevId: 2612516ebf1e33022233ad19741e5c7cda014483
---
 services/web/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/services/web/Makefile b/services/web/Makefile
index 6add62e5cb..665c825d88 100644
--- a/services/web/Makefile
+++ b/services/web/Makefile
@@ -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