# HG changeset patch
# User wenzelm
# Date 1196194012 -3600
# Node ID 1bada8ff81227fead0bb7d57021e023f63127178
# Parent  139b8843873b96813077c16b243c366afd0a9883
tuned titles;

diff -r 139b8843873b -r 1bada8ff8122 Admin/isatest/isatest-statistics
--- a/Admin/isatest/isatest-statistics	Tue Nov 27 19:43:41 2007 +0100
+++ b/Admin/isatest/isatest-statistics	Tue Nov 27 21:06:52 2007 +0100
@@ -94,9 +94,9 @@
 for SESSION in $SESSIONS
 do
   fgrep "$SESSION " "$ALL_DATA" > "$SESSION_DATA"
-  PLOT="plot [] [0:] \"$SESSION_DATA\" using 2:3 smooth sbezier title \"cpu time\", \"$SESSION_DATA\" using 2:3 smooth csplines title \"cpu time\""
+  PLOT="plot [] [0:] \"$SESSION_DATA\" using 2:3 smooth sbezier title \"interpolated cpu time\", \"$SESSION_DATA\" using 2:3 smooth csplines title \"cpu time\""
   if [ "$PARALLEL" = true ]; then
-    PLOT="${PLOT}, \"$SESSION_DATA\" using 2:4 smooth sbezier title \"elapsed time\", \"$SESSION_DATA\" using 2:4 smooth csplines title \"elapsed time\""
+    PLOT="${PLOT}, \"$SESSION_DATA\" using 2:4 smooth sbezier title \"interpolated elapsed time\", \"$SESSION_DATA\" using 2:4 smooth csplines title \"elapsed time\""
   fi
   gnuplot <<EOF
 set terminal $TE