diff options
Diffstat (limited to 'Makefile.commands')
-rw-r--r-- | Makefile.commands | 2 |
1 files changed, 1 insertions, 1 deletions
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 |