Squashed 'third_party/eigen/' content from commit 61d72f6

Change-Id: Iccc90fa0b55ab44037f018046d2fcffd90d9d025
git-subtree-dir: third_party/eigen
git-subtree-split: 61d72f6383cfa842868c53e30e087b0258177257
diff --git a/bench/bench_multi_compilers.sh b/bench/bench_multi_compilers.sh
new file mode 100755
index 0000000..27e91f1
--- /dev/null
+++ b/bench/bench_multi_compilers.sh
@@ -0,0 +1,28 @@
+#!/bin/bash
+
+if (($# < 2)); then
+    echo "Usage: $0 compilerlist.txt benchfile.cpp"
+else
+
+compilerlist=$1
+benchfile=$2
+
+g=0
+source $compilerlist
+
+# for each compiler, compile benchfile and run the benchmark
+for (( i=0 ; i<g ; ++i )) ; do
+  # check the compiler exists
+  compiler=`echo ${CLIST[$i]} | cut -d " " -f 1`
+  if [ -e `which $compiler` ]; then
+    echo "${CLIST[$i]}"
+#     echo "${CLIST[$i]} $benchfile -I.. -o bench~"
+#     if [ -e ./.bench ] ; then rm .bench; fi
+    ${CLIST[$i]} $benchfile -I.. -o .bench && ./.bench 2> /dev/null
+    echo ""
+  else
+    echo "compiler not found: $compiler"
+  fi
+done
+
+fi