1.1 --- a/test_all.sh Thu Sep 08 18:07:07 2016 +0200
1.2 +++ b/test_all.sh Thu Sep 08 18:07:42 2016 +0200
1.3 @@ -16,16 +16,19 @@
1.4
1.5 echo "$FILENAME..." 1>&2
1.6 if ! ./lplc "$FILENAME" -r ; then exit 1 ; fi
1.7 - echo 1>&2
1.8 +
1.9 + # Check for unresolved names in the cache.
1.10 +
1.11 + echo " (depends)..." 1>&2
1.12 + if grep '<depends>' -r "_cache" && \
1.13 + ! echo "$FILENAME" | grep -q '_bad[._]' ; then
1.14 + exit 1
1.15 + fi
1.16
1.17 # Run tests with an existing cache.
1.18
1.19 - echo "$FILENAME (cached)..." 1>&2
1.20 + echo " (cached)..." 1>&2
1.21 if ! ./lplc "$FILENAME" ; then exit 1 ; fi
1.22 echo 1>&2
1.23
1.24 - # Check for unresolved names in the cache.
1.25 -
1.26 - if grep -e '<depends>' -r "_cache" ; then exit 1 ; fi
1.27 -
1.28 done