From c5429ddf759eb5953e0e22010b161060e6c97354 Mon Sep 17 00:00:00 2001 From: Dennis Schafroth Date: Tue, 3 Aug 2010 13:02:56 +0200 Subject: [PATCH] Fetching termlist --- perf/bash/client_timed.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/perf/bash/client_timed.sh b/perf/bash/client_timed.sh index c3200cc..c2a69a3 100755 --- a/perf/bash/client_timed.sh +++ b/perf/bash/client_timed.sh @@ -44,3 +44,4 @@ while [ ${DO_DISPLAY} ] ; do break; fi done +/usr/bin/time --format "$OF, termlist, %e" wget -q -O $OF.termlist.$r.xml "$H?command=termlist&session=$S&name=xtargets%2Csubject%2Cauthor" 2>> $OF.termlist.time -- 1.7.10.4