summaryrefslogtreecommitdiffhomepage
path: root/eigen/test/runtest.sh
diff options
context:
space:
mode:
authorStanislaw Halik <sthalik@misaki.pl>2017-03-25 14:17:07 +0100
committerStanislaw Halik <sthalik@misaki.pl>2017-03-25 14:17:07 +0100
commit35f7829af10c61e33dd2e2a7a015058e11a11ea0 (patch)
tree7135010dcf8fd0a49f3020d52112709bcb883bd6 /eigen/test/runtest.sh
parent6e8724193e40a932faf9064b664b529e7301c578 (diff)
update
Diffstat (limited to 'eigen/test/runtest.sh')
-rw-r--r--eigen/test/runtest.sh20
1 files changed, 0 insertions, 20 deletions
diff --git a/eigen/test/runtest.sh b/eigen/test/runtest.sh
deleted file mode 100644
index 2be2508..0000000
--- a/eigen/test/runtest.sh
+++ /dev/null
@@ -1,20 +0,0 @@
-#!/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