aboutsummaryrefslogtreecommitdiff
path: root/reproduce/src/make
diff options
context:
space:
mode:
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2018-11-29 20:59:40 +0000
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2018-11-29 20:59:40 +0000
commitd068937a9fe037871fa89759122fc7df9056683d (patch)
tree8ac8c752112d397e6cf71151405d11d7f25f43b1 /reproduce/src/make
parenta769f01c38dc47b39d6e49b16c6d922a2434cfd2 (diff)
File is made before calling flock (file locking)
While testing on another computer, I noticed that to operate properly, the file given to `flock' must be created before it is called. This is a low-level difference (how the system treats files), so it wasn't apparent on my system. To fix it, we have added a `touch' command before it.
Diffstat (limited to 'reproduce/src/make')
-rw-r--r--reproduce/src/make/download.mk1
1 files changed, 1 insertions, 0 deletions
diff --git a/reproduce/src/make/download.mk b/reproduce/src/make/download.mk
index 332392b..37789e2 100644
--- a/reproduce/src/make/download.mk
+++ b/reproduce/src/make/download.mk
@@ -67,6 +67,7 @@ $(inputdatasets): $(indir)/%.fits: | $(indir) $(lockdir)
if [ -f $(INDIR)/$$origname ]; then
ln -s $(INDIR)/$$origname $@
else
+ touch $(lockdir)/download
flock $(lockdir)/download $(DOWNLOADER) $@ $$url/$$origname
fi