From eb3537c25d8fb48c7123131a1b3fafcfb07d61da Mon Sep 17 00:00:00 2001 From: Wojciech Kosior Date: Tue, 22 Sep 2020 16:00:11 +0200 Subject: on 'make clean' also delete .mem files compiled from .wasm --- Makefile.test | 1 + 1 file changed, 1 insertion(+) (limited to 'Makefile.test') 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 : -- cgit v1.2.3