From b34d7c042f0f4b75e66a2a4c15c5627a25a64476 Mon Sep 17 00:00:00 2001
From: Daniel Narvaez <dwnarvaez@gmail.com>
Date: Wed, 26 Dec 2012 01:56:09 +0000
Subject: Time the build command

---
(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 0521b19..558b056 100644
--- a/Makefile
+++ b/Makefile
@@ -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
 
--
cgit v0.9.1