diff options
| author | Gabriel Kerneis | 2013-10-04 16:22:10 +0100 |
|---|---|---|
| committer | Gabriel Kerneis | 2013-10-04 16:22:36 +0100 |
| commit | 59743ba08d0f3a3237b5316a7395ead732199ed8 (patch) | |
| tree | c38b9064c89f82f0151b21312b95b04d1a10a6aa /Makefile | |
| parent | 9934af065d693b76b8a67879f042145296b29813 (diff) | |
Clean up build system
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 00000000..e1a13cba --- /dev/null +++ b/Makefile @@ -0,0 +1,9 @@ +.PHONY: all src language + +all: src language + +src: + $(MAKE) -C $@ + +language: + $(MAKE) -C $@ |