blob: d27fa97c3de76c305a2d912e1a1aa25f361cfd52 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
#!/bin/bash
BINFILE=$1
LOGFILE=$2
RESULTFILE=`mktemp`
PIDFILE=`mktemp`
(timeout 5s qemu-system-i386 -kernel $BINFILE -serial stdio -m 16 -display none 2>/dev/null \
& echo $! >$PIDFILE) \
| tee >(grep -m 1 "TEST-" >$RESULTFILE; kill -INT `cat $PIDFILE`) > $LOGFILE
RESULT=`cat $RESULTFILE`
rm $RESULTFILE
rm $PIDFILE
if [ "$RESULT" != '(TEST-OK)' ]; then
echo -e "\033[0;31m$BINFILE $RESULT\033[0m"
cp $LOGFILE $LOGFILE.err
exit 1;
else
echo -e "\033[0;32m$BINFILE $RESULT\033[0m"
fi
|
