diff options
| author | Stephen Kell | 2014-10-08 16:29:17 +0100 |
|---|---|---|
| committer | Stephen Kell | 2014-10-08 16:29:17 +0100 |
| commit | 0c5cebb6ec19d37915cf236da1d7407ac97b26c3 (patch) | |
| tree | af0c4f29d4c4059d0c9b2ab97ed68d6d55b9ebb7 /Makefile | |
| parent | 5bb5968d91f87d891305b1e53dee7322667f4faf (diff) | |
| parent | 34f044d2e1b54a931c2fe50ec116310d3adb45d6 (diff) | |
Merge.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 13 |
1 files changed, 8 insertions, 5 deletions
@@ -1,12 +1,15 @@ -.PHONY: all src language clean power test +.PHONY: all sail language clean power test -all: src language +all: sail interpreter language -src: language - $(MAKE) -C $@ +sail: language + $(MAKE) -C src language: - $(MAKE) -C $@ + $(MAKE) -C language + +interpreter: + $(MAKE) -C src interpreter test: $(MAKE) -C src test |