diff options
Diffstat (limited to 'make/Makefile')
| -rw-r--r-- | make/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/make/Makefile b/make/Makefile index 1110397..2bb1e1e 100644 --- a/make/Makefile +++ b/make/Makefile @@ -1,7 +1,8 @@ TESTS = tests/types.mk tests/reader.mk tests/step9_interop.mk -SOURCES = util.mk readline.mk gmsl.mk types.mk reader.mk stepA_more.mk +SOURCES = util.mk readline.mk gmsl.mk types.mk reader.mk printer.mk \ + env.mk core.mk stepA_more.mk mal.mk: $(SOURCES) echo "#!/usr/bin/make -f" > $@ |