blob: c1301ff7ba9045f35a4d0c22f8d43cd34a2b6c8e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
#! /bin/bash
function main ()
{
echo "start: `date +%T`";
time prove -r $DIR/tests "$@" | tee -a /tmp/posix 2>/dev/null 1>/dev/null;
cat /tmp/posix && sleep 2;
grep FAILED /tmp/posix 2>>$LOG_FILE 1>>$LOG_FILE
if [ $? -ne 0 ]; then
echo "end: `date +%T`";
return 0;
else
echo "end: `date +%T`";
return 1;
fi
}
main "$@"
|