diff options
Diffstat (limited to 'reproduce/src/make/download.mk')
| -rw-r--r-- | reproduce/src/make/download.mk | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/reproduce/src/make/download.mk b/reproduce/src/make/download.mk index 260fd0c..5ef6c71 100644 --- a/reproduce/src/make/download.mk +++ b/reproduce/src/make/download.mk @@ -68,7 +68,8 @@ $(inputdatasets): $(indir)/%.fits: | $(indir) $(lockdir) ln -s $(INDIR)/$$origname $@ else touch $(lockdir)/download - flock $(lockdir)/download wget -O$@ $$url/$$origname + flock $(lockdir)/download bash -c \ + "if ! wget -O$@ $$url/$$origname; then rm -f $@; exit 1; fi" fi # Check the md5 sum to see if this is the proper dataset. |