From f2d07766cf347820f07bd0dc186c13b2b0fc626a Mon Sep 17 00:00:00 2001
From: Martin Perner <martin@perner.cc>
Date: Mon, 17 May 2010 19:43:16 +0200
Subject: [PATCH] Colorify the Benchmark output

Gives the Instr. a color depending on there performance

red for more instr
gray for same instr as reference
green for less instr
---
 scripts/bench.sh | 16 +++++++++++++++-
 1 file changed, 15 insertions(+), 1 deletion(-)

diff --git a/scripts/bench.sh b/scripts/bench.sh
index 02738d6..a4dd0d2 100755
--- a/scripts/bench.sh
+++ b/scripts/bench.sh
@@ -77,7 +77,21 @@ for i in $TEST/*.0; do
 		echo "err: fuer den testfall \"$bi\" existiert noch keine referenzdatei"
 		ti=0
 	fi
-    echo "$bi: $ni (referenz: $ti)"
+
+	if [ $ni -gt $ti ]; then
+		#red
+		bcolor="\033[01;31m"
+	else
+		if [ $ni -eq $ti ]; then
+			#gray
+			bcolor="\033[01;30m"
+		else
+			#green
+			bcolor="\033[01;32m"
+		fi
+	fi
+
+    echo -e "$bcolor $bi: $ni (referenz: $ti) \033[0m"
     echo "$bi $ni" >> $RESULT
 
 	let gni=gni+$ni
-- 
2.25.1