summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 2 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 5e45486..0b7e65d 100644
--- a/Makefile
+++ b/Makefile
@@ -68,12 +68,14 @@ $(IJSON): www/json/%.json: ast2json/imachine2json.py ast2json/%.json.i
$^ $@
%.json.gz: %.json
+ifdef GZIP
ifdef DEFLUFF
$(GZIP) -c $< | $(DEFLUFF) > $@
else
$(GZIP) -c $< > $@
endif
touch $< $@
+endif
# === VIDEO ===