nitlanguage
/
nit.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
fc81436
)
jenkins: add --quiet to time in unitrun.sh
author
Jean Privat
<jean@pryen.org>
Fri, 26 Sep 2014 00:38:20 +0000
(20:38 -0400)
committer
Jean Privat
<jean@pryen.org>
Fri, 26 Sep 2014 00:38:20 +0000
(20:38 -0400)
Signed-off-by: Jean Privat <jean@pryen.org>
misc/jenkins/unitrun.sh
patch
|
blob
|
history
diff --git
a/misc/jenkins/unitrun.sh
b/misc/jenkins/unitrun.sh
index
bb5b86e
..
54d875c
100755
(executable)
--- a/
misc/jenkins/unitrun.sh
+++ b/
misc/jenkins/unitrun.sh
@@
-26,7
+26,7
@@
shift
# Magic here! This tee and save both stdout and stderr in distinct files without messing with them
# Time just get the user time
-/usr/bin/time -f%U -o "${name}.t.out" "$@" > >(tee "${name}.out") 2> >(tee "${name}.2.out" >&2)
+/usr/bin/time -f%U --quiet -o "${name}.t.out" "$@" > >(tee "${name}.out") 2> >(tee "${name}.2.out" >&2)
res=$?
c=`echo "${name%-*}" | tr "-" "."`