diff options
| author | Daniel Narvaez <dwnarvaez@gmail.com> | 2013-01-12 03:45:29 (GMT) |
|---|---|---|
| committer | Daniel Narvaez <dwnarvaez@gmail.com> | 2013-01-12 03:45:29 (GMT) |
| commit | 9df864239ea8e66d9385a66a1b5e20cb0f534217 (patch) | |
| tree | e92a43a7d35f6bdb27a8ecd3446460b9ad44479e /Makefile | |
| parent | ea641e912f201e5e636a7e00fef18cc74e3d23b0 (diff) | |
Cleanup config generation
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 43 |
1 files changed, 39 insertions, 4 deletions
@@ -1,10 +1,45 @@ COMMANDS_DIR=$(CURDIR)/commands -TOOLS_DIR=$(CURDIR)/tools TIME=time -f "\n= Time =\n\nreal\t%e\nuser\t%U\nsys\t%S\n" -.PHONY: all +.PHONY: build all: build -include Makefile.config -include Makefile.commands +check-system: + @$(COMMANDS_DIR)/check-system $(ARGS) + +pull: + @$(COMMANDS_DIR)/pull $(ARGS) + +build: + @$(TIME) $(COMMANDS_DIR)/build $(ARGS) + +run: + @$(COMMANDS_DIR)/run + +check: + @$(COMMANDS_DIR)/check + +shell: + @$(COMMANDS_DIR)/shell + +bug-report: + @$(COMMANDS_DIR)/bug-report + +clean: + @$(COMMANDS_DIR)/clean + +distribute: + @$(COMMANDS_DIR)/distribute + +snapshot: + @$(COMMANDS_DIR)/snapshot + +build-%: + @$(COMMANDS_DIR)/build $* + +pull-%: + @$(COMMANDS_DIR)/pull $* + +check-%: + @$(COMMANDS_DIR)/check $* |