[m-rev.] diff: Check whether C files in grade_lib need to be rebuilt.

[Peter Wang]

configure.ac:
    Check if C files in grade_lib are compatible with the selected
    grade.

diff --git a/configure.ac b/configure.ac
index 076bca17b..0d17d0011 100644
--- a/configure.ac
+++ b/configure.ac
@@ -5586,7 +5586,8 @@ some_kept=false
 to_delete=""
 if test "$BOOTSTRAP_MC" != "" ; then
     MERCURY_MSG("checking whether any C files need to be rebuilt...")
-    for directory in library compiler profiler deep_profiler mdbcomp browser slice ssdb mfilterjavac
+    for directory in library compiler profiler deep_profiler mdbcomp browser \
+        slice ssdb mfilterjavac grade_lib
     do
         mercury_check_c_files $directory $directory
         mercury_check_c_files $directory/Mercury/cs $directory/Mercury/c_dates
-- 
2.25.0