[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]
Re: toolchain/52089: Change the effect of "make clean" slightly
The following reply was made to PR toolchain/52089; it has been noted by GNATS.
From: Joerg Sonnenberger <joerg%bec.de@localhost>
Subject: Re: toolchain/52089: Change the effect of "make clean" slightly
Date: Sun, 19 Mar 2017 11:51:04 +0100
On Sun, Mar 19, 2017 at 03:05:00AM +0000, kre%munnari.OZ.AU@localhost wrote:
> It would be better to have "make clean" remove everything added
> by "make", and "make distclean" clean that, plus the files added
> by "make depend", that's more consistent, and easier to
Perfectly fine with me. Given that we don't even build cat pages by
default anymore and mandoc is much faster than groff ever was, it just
doesn't make sense to me to special case them.
Main Index |
Thread Index |