# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1473014487 -7200
# Node ID bda2e002244fa97e4510d645eea7cc343a0f922d
# Parent  96af70f89c46d7a31bea22e77fdaeb6660e3eeca
Added a test for the presence of unresolved names.

diff -r 96af70f89c46 -r bda2e002244f test_all.sh
--- a/test_all.sh	Sun Sep 04 20:41:09 2016 +0200
+++ b/test_all.sh	Sun Sep 04 20:41:27 2016 +0200
@@ -24,4 +24,8 @@
     if ! ./lplc "$FILENAME" ; then exit 1 ; fi
     echo 1>&2
 
+    # Check for unresolved names in the cache.
+
+    if grep -e '<depends>' -r "_cache" ; then exit 1 ; fi
+
 done