diff --git a/corhal-dumps/Makefile b/corhal-dumps/Makefile index 44e0406..882ecf0 100644 --- a/corhal-dumps/Makefile +++ b/corhal-dumps/Makefile @@ -22,7 +22,7 @@ # To set the location and the extension of results files OUTPUT_DIR := 02-download/$(VERSION_DIR) -OUTPUT_EXT := json +OUTPUT_EXT := json.gz # To generate all files from source directory to target directory SOURCE_FILES := $(wildcard $(INPUT_DIR)/*.$(INPUT_EXT)) @@ -56,9 +56,12 @@ 02-download/$(VERSION_DIR)/%.json: 01-query/%.txt mkdir -p $(@D) - find "$(@D)" -type f -name "$(notdir $@)" -exec mv {} {}.previous \; - time ezs $(EZSFLAGS) 02-download.ini < $< > $@ + time ezs $(EZSFLAGS) 02-download.ini < $< > $@.crdownload + mv $@.crdownload $@ + ls -lhaG $@ | sed -re 's/^[^ ]* //' >> "$(subst json,log,$@)" +02-download/$(VERSION_DIR)/%.json.gz: 02-download/$(VERSION_DIR)/%.json + gzip $< # To prevent deleting intermediate files (for controls) .PRECIOUS: 02-download/$(VERSION_DIR)/%.json