new tool to show optimization result

git-svn-id: file:///Users/aamine/c/gitwork/public/cbc/trunk@4051 1b9489fe-b721-0410-924e-b54b9192deb8

tools/diffoptimized.sh

@@ -0,0 +1,13 @@
+#!/bin/bash
+
+CBC=../bin/cbc
+
+for src in "$@"
+do
+    if $CBC $src >/dev/null 2>&1
+    then
+        echo "$src:"
+        $CBC -O -S $src -o ${src%%.cb}.s.opt &&
+        diff -u ${src%%.cb}.s ${src%%.cb}.s.opt
+    fi
+done