blob: b5e95d36834ef3983195c1a04133675c09aee5e3 (
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
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
|
#!/bin/sh
bindir="%bindir%"
DEFAULT_TET_ROOT="%DEFAULT_TET_ROOT%"
TCC="${TCC-${bindir}/tcc}"
PERL=${PERL-perl}
XTS_CONFIG="${XTS_CONFIG-${bindir}/xts-config}"
prog=$0
config=
config_in="${TET_ROOT-$DEFAULT_TET_ROOT}/xts5/tetexec.cfg.in"
outdir=
scenario=
while [ -n "$1" ]; do
case "$1" in
-c)
config=$2
shift
;;
-o)
outdir=$2
shift
;;
-h|--help)
echo "Usage: $prog [options] [scenario]"
exit 0
;;
-*)
echo "error: unrecognized option \"$1\"" >&2
exit 1
;;
*)
if [ -n "$scenario" ]; then
echo "error: only one scenario allowed" >&2
exit 1
fi
scenario=$1
esac
shift
done
# Create the config file if necessary
if [ -z "$config" ]; then
config=`mktemp tetexec.cfg.XXXXXXXXXX`
trap 'rm -f "$config"' 0 1 2 3 15
if ! "$PERL" "$XTS_CONFIG" < "$config_in" > "$config"; then
echo "error: failed to create config file $config" >&2
exit 1
fi
else
if [ ! -r "$config" ]; then
echo "error: cannot read config file $config" >&2
exit 1
fi
fi
# Create the output directory
[ -n "$outdir" ] || outdir="xts-`date +%F-%R`"
if [ ! -d "$outdir" ] && ! mkdir -p "$outdir"; then
echo "error: failed to create output directory $outdir" >&2
exit 1
fi
"$TCC" -e -i "$outdir" -x "$config" xts5 $scenario
|
