# HG changeset patch # User Paul Boddie # Date 1488414674 -3600 # Node ID f6877b2574111366b46e1095e6624cea7ac288e5 # Parent a52196e59be8098364d4566adb0907ded98f82f3 Fixed comments (from "run" to "compile"). diff -r a52196e59be8 -r f6877b257411 test_all.sh --- a/test_all.sh Thu Mar 02 01:30:39 2017 +0100 +++ b/test_all.sh Thu Mar 02 01:31:14 2017 +0100 @@ -148,7 +148,7 @@ continue fi - # Run tests without an existing cache. + # Compile tests without an existing cache. echo "$FILENAME..." 1>&2 if ! "$LPLC" -c -r "$FILENAME" ; then @@ -176,7 +176,7 @@ echo " (warnings)..." 1>&2 if ! check_type_warnings ; then exit 1 ; fi - # Run tests with an existing cache. + # Compile tests with an existing cache. echo " (cached)..." 1>&2 if ! "$LPLC" -c "$FILENAME" ; then exit 1 ; fi