GNU bug report logs - #12410
24.2.50; `make distclean' runs ./configure before cleaning

Previous Next

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 12410 in the body.
You can then email your comments to 12410 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Bastien <bzg <at> altern.org>
To: bug-gnu-emacs <at> gnu.org
Subject: 24.2.50; `make distclean' runs ./configure before cleaning
Date: Tue, 11 Sep 2012 11:03:47 +0200

I just ran `make distclean' with latest bzr revision and noticed
it runs ./configure before cleaning up the dist files.

Is it necessary?


In GNU Emacs 24.2.50.1 (i686-pc-linux-gnu, GTK+ Version 2.24.10)
 of 2012-09-10 on myhost
Bzr revision: 109965 cyd <at> gnu.org-20120910032510-vrblnwlfnsb0cx3s
Windowing system distributor `The X.Org Foundation', version 11.0.11201000
Important settings:
  value of $LANG: fr_FR.UTF-8
  locale-coding-system: utf-8-unix
  default enable-multibyte-characters: t

-- 
 Bastien

Message #8 received at 12410 <at> debbugs.gnu.org (full text, mbox):

From: Glenn Morris <rgm <at> gnu.org>
To: Bastien <bzg <at> altern.org>
Cc: 12410 <at> debbugs.gnu.org
Subject: Re: bug#12410: 24.2.50;
	`make distclean' runs ./configure before cleaning
Date: Tue, 11 Sep 2012 13:24:36 -0400

Bastien wrote:

> I just ran `make distclean' with latest bzr revision and noticed
> it runs ./configure before cleaning up the dist files.
>
> Is it necessary?

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...

Message #11 received at 12410 <at> debbugs.gnu.org (full text, mbox):

From: Bastien <bzg <at> altern.org>
To: Glenn Morris <rgm <at> gnu.org>
Cc: 12410 <at> debbugs.gnu.org
Subject: Re: bug#12410: 24.2.50;
	`make distclean' runs ./configure before cleaning
Date: Tue, 11 Sep 2012 19:44:38 +0200

Glenn Morris <rgm <at> 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

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.