diff options
| author | Jérémy Zurcher <jeremy@asynk.ch> | 2011-02-28 23:59:29 +0100 |
|---|---|---|
| committer | Jérémy Zurcher <jeremy@asynk.ch> | 2011-02-28 23:59:29 +0100 |
| commit | 04c2bbda09f89ed2301c81ba25f92d587f2d0fdb (patch) | |
| tree | 9c0b62e8af0750e80255e927b79f5251d739d855 | |
| parent | 274950ad9de53c3b1200b4501eb50c9eda022cf5 (diff) | |
| download | k8055-04c2bbda09f89ed2301c81ba25f92d587f2d0fdb.zip k8055-04c2bbda09f89ed2301c81ba25f92d587f2d0fdb.tar.gz | |
add time to build.sh
| -rwxr-xr-x | build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |