blob: da73b5feed2aad3e6362c29da1d6258a8a160890 (
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
|
#!/bin/bash
set -x
# this one must succeed
rm -f names_match.c
comp names_match.comp
if [ $? -ne 0 ]; then
echo 'comp failed to process names_match.comp'
exit 1
fi
if [ ! -f names_match.c ]; then
echo 'comp failed to produce names_match.c'
exit 1
fi
# this one must fail
rm -f names_dont_match.c
comp names_dont_match.comp
if [ $? -eq 0 ]; then
echo 'comp erroneously accepted names_dont_match.comp'
exit 1
fi
if [ -f names_dont_match.c ]; then
echo 'comp erroneously produced names_dont_match.c'
exit 1
fi
|