mirror of
https://gitlab.com/libeigen/eigen.git
synced 2025-02-23 18:20:47 +08:00
bc18ba7e49
* in runtest.sh, don't override the default number of repeats. If one thinks the default should be changed, let's change it at the source.
21 lines
327 B
Bash
Executable File
21 lines
327 B
Bash
Executable File
#!/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 ! ./test_$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
|