From 9df864239ea8e66d9385a66a1b5e20cb0f534217 Mon Sep 17 00:00:00 2001 From: Daniel Narvaez Date: Sat, 12 Jan 2013 03:45:29 +0000 Subject: Cleanup config generation --- (limited to 'Makefile') diff --git a/Makefile b/Makefile index 9545d1d..2a28311 100644 --- a/Makefile +++ b/Makefile @@ -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 $* -- cgit v0.9.1