[m-dev.] diff: check generated C files in Mercury/cs/*.c

[Mark Anthony BROWN]

Estimated hours taken: 0.1

configure.in:
	When checking whether C files need to be rebuilt, check files
	in the Mercury/cs subdirectory as well as the source directory.

Index: configure.in
===================================================================
RCS file: /home/mercury1/repository/mercury/configure.in,v
retrieving revision 1.235
diff -u -r1.235 configure.in
--- configure.in	2000/11/23 06:46:25	1.235
+++ configure.in	2000/11/30 06:05:51
@@ -2515,7 +2515,9 @@
 to_delete=""
 if test "$BOOTSTRAP_MC" != "" ; then
     MERCURY_MSG("checking whether any C files need to be rebuilt...")
-    for c_file in library/*.c compiler/*.c browser/*.c profiler/*.c
+    for c_file in library/*.c compiler/*.c browser/*.c profiler/*.c \
+    		library/Mercury/cs/*.c compiler/Mercury/cs/*.c \
+		browser/Mercury/cs/*.c profiler/Mercury/cs/*.c 
     do
         case $c_file in
         */'*.c')
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------