This is the mail archive of the
mailing list for the GCC project.
Re: PATCH: gcc/Makefile.in and target 'distclean'
- To: Alexandre Oliva <aoliva at redhat dot com>
- Subject: Re: PATCH: gcc/Makefile.in and target 'distclean'
- From: Gerald Pfeifer <pfeifer at dbai dot tuwien dot ac dot at>
- Date: Mon, 12 Feb 2001 02:16:01 +0100 (CET)
- cc: <gcc-patches at gcc dot gnu dot org>
On 11 Feb 2001, Alexandre Oliva wrote:
>>> * Makefile.in (distclean): Do not remove .gdbinit.
> I don't think it's correct, though. We should remove .gdbinit
> iff srcdir != objdir.
Hmm, are you sure?
The GNU Coding Standards describe `make distclean' as follows:
Delete all files from the current directory that are created by
configuring or building the program. If you have unpacked the source
and built the program without creating any other files, `make
distclean' should leave only the files that were in the distribution.
I believe we agree that for srcdir == objdir we should not remove .gdbinit,
as it as part of the distribution, but also for srcdir != objdir, as it is
not a file generated during configury or build.
Gerald "Jerry" firstname.lastname@example.org http://www.dbai.tuwien.ac.at/~pfeifer/