diff options
Diffstat (limited to 'Makefile.util')
-rw-r--r-- | Makefile.util | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Makefile.util b/Makefile.util index 4abddca..88939b1 100644 --- a/Makefile.util +++ b/Makefile.util @@ -67,4 +67,7 @@ FIND_GENERATED_FILES = \ $(call FIND_GENERATED_MEM_FILES,$(1)) \ $(call FIND_GENERATED_WASM_FILES,$(1)) +VGAdump.ppm : $(PROJ_DIR)/tools/VGAdump2ppm VGAdump.mem + grep -v // < VGAdump.mem | $< > $@ + .PHONY : prog |