[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH v2] Makefile: Remove generated files when doing 'distclean' (
From: |
Paolo Bonzini |
Subject: |
Re: [PATCH v2] Makefile: Remove generated files when doing 'distclean' (and 'clean') |
Date: |
Tue, 8 Oct 2019 18:04:03 +0200 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.8.0 |
On 08/10/19 14:41, Peter Maydell wrote:
> The autoconf manual suggests some heuristics:
> - If make built it, and it is commonly something that one would want
> to rebuild (for instance, a .o file), then mostlyclean should delete it.
> - Otherwise, if make built it, then clean should delete it.
> - If configure built it, then distclean should delete it.
> - If the maintainer built it (for instance, a .info file), then
> maintainer-clean should delete it. However maintainer-clean should
> not delete anything that needs to exist in order to run
> './configure && make'.
>
> Not all of that applies for QEMU, but it seems like a reasonable
> set of ideas.
Right, considering we don't have mostlyclean, it boils down to "if make
built it, then clean should delete it; if configure built it, then
distclean should delete it".
Paolo
Re: [PATCH v2] Makefile: Remove generated files when doing 'distclean' (and 'clean'), Aleksandar Markovic, 2019/10/22