blob: bc693af1312dc4084cf4683a8baee9a0125357bc [file] [log] [blame]
Brian Silverman72890c22015-09-19 14:37:37 -04001#!/bin/bash
2
3black='\E[30m'
4red='\E[31m'
5green='\E[32m'
6yellow='\E[33m'
7blue='\E[34m'
8magenta='\E[35m'
9cyan='\E[36m'
10white='\E[37m'
11
12if make test_$1 > /dev/null 2> .runtest.log ; then
13 if ! ./test_$1 r20 > /dev/null 2> .runtest.log ; then
14 echo -e $red Test $1 failed: $black
15 echo -e $blue
16 cat .runtest.log
17 echo -e $black
18 exit 1
19 else
20 echo -e $green Test $1 passed$black
21 fi
22else
23 echo -e $red Build of target $1 failed: $black
24 echo -e $blue
25 cat .runtest.log
26 echo -e $black
27 exit 1
28fi