# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1481587163 -3600
# Node ID a39afb95fb2610a1085979c6671f3ec4a8be234c
# Parent  6d66508a5758afc010bc0963cc4338d842bca39d
Updated the test runner to handle to presence of dependency references in the
deferred section of cache files.

diff -r 6d66508a5758 -r a39afb95fb26 test_all.sh
--- a/test_all.sh	Tue Dec 13 00:58:52 2016 +0100
+++ b/test_all.sh	Tue Dec 13 00:59:23 2016 +0100
@@ -73,10 +73,13 @@
     # Check for unresolved names in the cache.
 
     echo " (depends)..." 1>&2
-    if grep '<depends>' -r "_cache" ; then
-       echo "Unresolved names in the cache." 1>&2
-       exit 1
-    fi
+    for CACHEFILE in "_cache/"* ; do
+        STARTLINE=`grep -n '^deferred:' "$CACHEFILE" | cut -d: -f 1`
+        if tail -n +$(($STARTLINE + 2)) "$CACHEFILE" | grep -q '<depends>' ; then
+           echo "Unresolved names in the cache." 1>&2
+           exit 1
+        fi
+    done
 
     # Check for type warnings in deduction output.