From 04c2bbda09f89ed2301c81ba25f92d587f2d0fdb Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=A9r=C3=A9my=20Zurcher?= <jeremy@asynk.ch>
Date: Mon, 28 Feb 2011 23:59:29 +0100
Subject: add time to build.sh

---
 build.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.sh b/build.sh
index d296b92..2dbc76c 100755
--- a/build.sh
+++ b/build.sh
@@ -1,3 +1,3 @@
 #! /bin/bash
 [ ! -d build ] && mkdir build
-cd build && cmake .. && make && cd .. && ./libk8055/test
+cd build && cmake -DWANT_DEBUG=1 .. && make && cd .. && time ./libk8055/test
-- 
cgit v1.1-2-g2b99