[patch] grass-7.8-flock.patch

grass-7.8-flock.patch (text/plain), 577 bytes, created by mario.haustein on 2020-10-10 14:27:23 UTC

diff -Naur grass-7.8.3.org/include/Make/HtmlRules.make grass-7.8.3/include/Make/HtmlRules.make
--- grass-7.8.3.org/include/Make/HtmlRules.make	2020-05-05 10:51:50.000000000 +0200
+++ grass-7.8.3/include/Make/HtmlRules.make	2020-10-10 13:43:42.800880621 +0200
@@ -11,10 +11,10 @@
 endif
 
 $(HTMLDIR)/%.png: %.png | $(HTMLDIR)
-	$(INSTALL_DATA) $< $@
+	flock $@ $(INSTALL_DATA) $< $@
 
 $(HTMLDIR)/%.jpg: %.jpg | $(HTMLDIR)
-	$(INSTALL_DATA) $< $@
+	flock $@ $(INSTALL_DATA) $< $@
 
 $(HTMLDIR)/%.gif: %.gif | $(HTMLDIR)
-	$(INSTALL_DATA) $< $@
+	flock $@ $(INSTALL_DATA) $< $@