diff options
Diffstat (limited to 'eigen/test/runtest.sh')
| -rw-r--r-- | eigen/test/runtest.sh | 20 |
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 |