diff options
Diffstat (limited to 'src/Makefile')
| -rw-r--r-- | src/Makefile | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/src/Makefile b/src/Makefile deleted file mode 100644 index 32aa1872..00000000 --- a/src/Makefile +++ /dev/null @@ -1,11 +0,0 @@ -include ../support/include.mk - -all: $(EBIN_FILES_NO_DOCS) - -doc: $(EBIN_FILES) - -debug: - $(MAKE) DEBUG=-DDEBUG - -clean: - rm -rf $(EBIN_FILES) |