[m-rev.] diff: configure.in littering

[Zoltan Somogyi]

configure.in:
	Prevent configure from littering /tmp.

Zoltan.

Index: configure.in
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/configure.in,v
retrieving revision 1.577
diff -u -b -r1.577 configure.in
--- configure.in	29 Apr 2011 00:08:27 -0000	1.577
+++ configure.in	1 May 2011 03:20:14 -0000
@@ -5226,7 +5226,7 @@
 # The references to $conf_h_copy and $had_old_conf_h below are in code that
 # autoconf puts into a subshell, so we must export them.
 conf_h_copy=/tmp/mercury_conf.h.$$
-# trap "rm -f $conf_h_copy" 0 1 2 3 13 15
+trap "rm -f $conf_h_copy" 0 1 2 3 13 15
 export conf_h_copy
 if test -f runtime/mercury_conf.h
 then
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------