1 files changed, 20 insertions, 0 deletions
diff --git a/eigen/test/runtest.sh b/eigen/test/runtest.sh
new file mode 100644
index 0000000..2be2508
--- /dev/null
+++ b/eigen/test/runtest.sh
@@ -0,0 +1,20 @@
+#!/bin/bash
+
+black='\E[30m'
+red='\E[31m'
+green='\E[32m'
+yellow='\E[33m'
+blue='\E[34m'
+magenta='\E[35m'
+cyan='\E[36m'
+white='\E[37m'
+
+if ! ./$1 > /dev/null 2> .runtest.log ; then
+  echo -e  $red Test $1 failed: $black
+  echo -e $blue
+  cat .runtest.log
+  echo -e $black
+  exit 1
+else
+echo -e $green Test $1 passed$black
+fi