diff options
author | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-11-20 08:41:21 (GMT) |
---|---|---|
committer | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-11-20 08:41:21 (GMT) |
commit | 3aee5544e9166e7ebc000d6be2c2340e25c7a720 (patch) | |
tree | 67b17f44de7b75053fffb986cf7a14b020c43e5e /Makefile.commands | |
parent | 888687f307f77738b2209dfc0f48f8f30aa63b58 (diff) |
Split and cleanup makefiles
Diffstat (limited to 'Makefile.commands')
-rw-r--r-- | Makefile.commands | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/Makefile.commands b/Makefile.commands new file mode 100644 index 0000000..07b71b6 --- /dev/null +++ b/Makefile.commands @@ -0,0 +1,25 @@ +.PHONY: auto-install check-system build run test shell bug-report clean + +auto-install: + @$(COMMANDS_DIR)/auto-install + +check-system: + @$(COMMANDS_DIR)/check-system $(ARGS) + +build: check-system + @$(COMMANDS_DIR)/build + +run: helpers-build + @$(COMMANDS_DIR)/run + +test: helpers-build + @$(COMMANDS_DIR)/test + +shell: helpers-build + @$(COMMANDS_DIR)/shell + +bug-report: + @$(COMMANDS_DIR)/bug-report + +clean: helpers-clean + @$(COMMANDS_DIR)/clean |