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 | |
| parent | c6c2e37404b441e7bc7cfff1209c6d763a004d21 (diff) | |
Time the build command
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 1 |
1 files changed, 1 insertions, 0 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 |