diff options
author | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-12-26 01:56:09 (GMT) |
---|---|---|
committer | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-12-26 01:57:34 (GMT) |
commit | b34d7c042f0f4b75e66a2a4c15c5627a25a64476 (patch) | |
tree | 77e17bb3c1ebee74f9034dfec63105fc182bfabb /Makefile.commands | |
parent | c6c2e37404b441e7bc7cfff1209c6d763a004d21 (diff) |
Time the build command
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 |