diff options
-rw-r--r-- | Makefile | 1 | ||||
-rw-r--r-- | Makefile.commands | 2 |
2 files changed, 2 insertions, 1 deletions
@@ -4,6 +4,7 @@ COMMANDS_DIR=$(CURDIR)/commands HOME_DIR=$(CURDIR)/home TOOLS_DIR=$(CURDIR)/tools BASE_DIR=$(CURDIR) +TIME=time -f "\n=== time ===\n\nreal\t%e\nuser\t%U\nsys\t%S\n" .PHONY: all diff --git a/Makefile.commands b/Makefile.commands index 17908dd..c0c6ad7 100644 --- a/Makefile.commands +++ b/Makefile.commands @@ -10,7 +10,7 @@ pull: @$(COMMANDS_DIR)/pull build: - @$(COMMANDS_DIR)/build $(ARGS) + @$(TIME) $(COMMANDS_DIR)/build $(ARGS) run: @$(COMMANDS_DIR)/run |