This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]

Re: PATCH: gcc/Makefile.in and target 'distclean'


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
-- 
Gerald "Jerry" pfeifer@dbai.tuwien.ac.at http://www.dbai.tuwien.ac.at/~pfeifer/


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]