diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-11-29 20:59:40 +0000 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-11-29 20:59:40 +0000 |
| commit | d068937a9fe037871fa89759122fc7df9056683d (patch) | |
| tree | 8ac8c752112d397e6cf71151405d11d7f25f43b1 /reproduce/src/make | |
| parent | a769f01c38dc47b39d6e49b16c6d922a2434cfd2 (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.mk | 1 |
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 |