From d068937a9fe037871fa89759122fc7df9056683d Mon Sep 17 00:00:00 2001 From: Mohammad Akhlaghi Date: Thu, 29 Nov 2018 20:59:40 +0000 Subject: 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. --- reproduce/src/make/download.mk | 1 + 1 file changed, 1 insertion(+) (limited to 'reproduce/src/make') 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 -- cgit v1.2.1