[m-dev.] for review: configure.in

[Zoltan Somogyi]

Estimated hours taken: 0.2

configure.in:
	Don't print spurious complaints about the c2init-generated C source
	files needing to be rebuilt.

Zoltan.

Index: configure.in
===================================================================
RCS file: /home/mercury1/repository/mercury/configure.in,v
retrieving revision 1.188
diff -u -b -r1.188 configure.in
--- configure.in	1999/11/04 20:09:57	1.188
+++ configure.in	1999/11/10 06:03:51
@@ -2312,6 +2312,9 @@
         case $c_file in
         */'*.c')
             ;;
+        */*_init.c)
+            to_keep="$to_keep $c_file"
+            ;;
         *)
             sed -e '/END_OF_C_GRADE_INFO/,$d' < $c_file > confscratch
             if grep "TAG_BITS=$mercury_cv_low_tag_bits" \
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------