diff options
Diffstat (limited to 'sci-geosciences/grass/files/grass-flock.patch')
-rw-r--r-- | sci-geosciences/grass/files/grass-flock.patch | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/sci-geosciences/grass/files/grass-flock.patch b/sci-geosciences/grass/files/grass-flock.patch new file mode 100644 index 000000000000..4070f228dbb0 --- /dev/null +++ b/sci-geosciences/grass/files/grass-flock.patch @@ -0,0 +1,17 @@ +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) $< $@ |