diff options
| -rw-r--r-- | Makefile.test | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile.test b/Makefile.test index 787489c..0d9850c 100644 --- a/Makefile.test +++ b/Makefile.test @@ -67,6 +67,7 @@ VGAdump.ppm : $(PROJ_DIR)/tools/VGAdump2ppm VGAdump.mem GENERATED_MEM_FILES := $(shell find . -name "*.s.tcl") GENERATED_MEM_FILES := $(basename $(basename $(GENERATED_MEM_FILES))) GENERATED_MEM_FILES += $(basename $(shell find . -name "*.memv")) +GENERATED_MEM_FILES += $(basename $(shell find . -name "*.wat")) GENERATED_MEM_FILES := $(addsuffix .mem,$(GENERATED_MEM_FILES)) clean : |