# HG changeset patch
# User gabucino
# Date 1030781936 0
# Node ID 3d40a2bbd73bd4058bb5eae3d31e790ad1529975
# Parent  bcbbe5ee11fd07c698674cd5c10e46007378c42a
very simple script for viewing results with gnuplot, converted to JPEG
(hey, I don't know gnuplot at all, but I found this very useful)

diff -r bcbbe5ee11fd -r 3d40a2bbd73b TOOLS/benchmark-gab/plot
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/TOOLS/benchmark-gab/plot	Sat Aug 31 08:18:56 2002 +0000
@@ -0,0 +1,32 @@
+#!/bin/sh
+#
+# needs ImageMagick and gnuplot installed
+# ImageMagick not needed in you don't wanna convert to JPG
+#
+
+. ./variables
+
+rm -f *.plot
+rm -f log-*.pbm
+rm -f log-*.jpg
+rm -f plot.file
+
+for i in log-*; do
+  grep Total: $i | awk '{print $6}' | sed s/s// | nl | head -n 75 > $i.plot
+done
+
+for i in log-*.plot; do
+  echo "set key left box" > plot.file
+  echo "set samples 50" >> plot.file
+  echo "set term pbm" >> plot.file
+  echo "plot [0:75] '$i'" >> plot.file
+  #echo "pause -1 \"Hit return to continue\"" >> plot.file
+  #echo "" >> plot.file
+  gnuplot plot.file > $i.pbm
+  convert $i.pbm $i.jpg
+  rm -f $i.pbm
+done
+
+#gnuplot plot.file > out.pbm
+rm -f *.plot
+rm -f plot.file