[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Remove profiling output files in configure
|
From: |
Tom Tromey |
|
Subject: |
Re: Remove profiling output files in configure |
|
Date: |
24 Apr 2002 17:32:27 -0600 |
>>>>> "Peter" == Peter Eisentraut <address@hidden> writes:
>> It seems dangerous to me. What if I wanted that gmon.out file?
Peter> Why would you want it?
Who can say?
Note that configure isn't always run by hand. It might be run by the
Makefile. I'd prefer it not delete things that might happen to be in
my tree. That would be surprising to say the least.
Tom