[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#12410: 24.2.50; `make distclean' runs ./configure before cleaning
|
From: |
Bastien |
|
Subject: |
bug#12410: 24.2.50; `make distclean' runs ./configure before cleaning |
|
Date: |
Tue, 11 Sep 2012 19:44:38 +0200 |
|
User-agent: |
Gnus/5.130006 (Ma Gnus v0.6) Emacs/24.2.50 (gnu/linux) |
Glenn Morris <rgm@gnu.org> writes:
> It can be, yes. IIUC:
>
> Makefile itself has dependencies on eg the various Makefile.in's.
> If these get updated in the repository, configure has to be run to
> regenerate the Makefiles before doing anything else. For example,
> suppose there was a bug in Makefile.in whereby distclean did `rm -rf /'.
> If a fix was checked in, you'd want Makefile to be regenerated before
> doing anything else...
Got it -- thanks,
--
Bastien