GNU bug report logs - #587
23.0.60; To source or not to source (from help)

Previous Next

Full log

View this message in rfc822 format

From: "Lennart Borgman (gmail)" <lennart.borgman <at> gmail.com>
To: martin rudalics <rudalics <at> gmx.at>
Cc: 587 <at> debbugs.gnu.org
Subject: bug#587: 23.0.60; To source or not to source (from help)
Date: Sat, 09 Aug 2008 15:02:36 +0200

martin rudalics wrote:
>  > I would suggest something like this:
>  >
>  > - A variable to decide where to go
> 
> An option, I suppose.

Yes.

>  > - Possibly there should be a separate variable for the src tree
> 
> Rather not.
> 
>  > - If not possible to go there:
>  >   * If no other choice then give an error
>  >   * Otherwise ask user wether to go to the other place
>  >     (checkout/install)
> 
> I think asking the user is some kind of overkill, we should make this
> part of the option - always go to build dir, always go to install dir,
> prefer build dir, prefer install dir.

Sounds good.

> In any case we have to make sure
> first that implementing such an option won't violate the feature freeze.

Currently there is a bug to fix and I believe implementing this might be 
the best way to fix the bug.

Previous Next

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