diff --git a/corhal-dumps/Makefile b/corhal-dumps/Makefile index b03d854..205a5de 100644 --- a/corhal-dumps/Makefile +++ b/corhal-dumps/Makefile @@ -61,8 +61,7 @@ ls -lhag $@ |sed -re 's/^[^ ]* //' >> "$(subst .json,.log,$@)" 02-download/$(VERSION_DIR)/%.json.gz: 02-download/$(VERSION_DIR)/%.json - [ -f $@ ] && rm $@ - gzip $< + gzip -f $< # To prevent deleting intermediate files (for controls) .PRECIOUS: 02-download/$(VERSION_DIR)/%.json