[m-rev.] diff: delete packaged C files from ssdb and slice before rebuilding

[Julien Fischer]

Estimated hours taken: 0
Branches: main

Fix a bug reported by Keri Harris.

configure.in:
 	Delete the generated C files from the ssdb and slice directories
 	before rebuilding the source distribution in a grade that is
 	not compatible with the packaged C files.

Julien.

Index: configure.in
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/configure.in,v
retrieving revision 1.503
diff -u -r1.503 configure.in
--- configure.in	11 Oct 2007 11:45:16 -0000	1.503
+++ configure.in	15 Oct 2007 10:22:19 -0000
@@ -2831,7 +2831,7 @@
  	compiler and library will be rebuilt with new grade
  	installation may take a long time")
  		find library compiler browser mdbcomp analysis \
-			profiler deep_profiler \
+			profiler deep_profiler ssdb slice \
  			-name \*.c -o -name \*.c_date | \
  			xargs rm > /dev/null 2>&1
  	fi

--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------