blob: 7ec63188a0d9e0cdcddb8cb639322b775d3c559a (
plain)
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
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
|
#!/bin/sh
# The name of the test
name="$1"
# Skip the test if known to fail
skip () {
echo "$name: skipped"
exit 0
}
case "$name" in
fixed.cc2compcert|fixed.compcert2cc)
if [ $ARCH = arm ] && [ $ABI = hardfloat ] ; then skip; fi
;;
struct.cc2compcert|struct.compcert2cc)
if [ $ARCH = x86 ] && [ $MODEL = 32sse2 ] ; then
# works except on Cygwin
if [ $SYSTEM = cygwin ] ; then skip; fi
elif [ $ARCH = powerpc ] && [ $ABI = linux ] ; then
# works
:
else
skip
fi
;;
esac
# Administer the test
if $SIMU ./$name
then
echo "$name: passed"
exit 0
else
echo "$name: FAILED"
exit 2
fi
|