GNOME.org

Re: [PATCH] configure: remove unused --enable-uninstalled option

From: "Juan A." Suárez Romero <jasuarez igalia com>
To: grilo-list gnome org
Subject: Re: [PATCH] configure: remove unused --enable-uninstalled option
Date: Mon, 20 Dec 2010 12:46:16 +0100

On Mon, 2010-12-20 at 11:01 +0000, Iago Toral wrote:
>  I think it is ok to remove the switch until it is really needed.
>  Juan, what do you think?
> 

I agree.

	J.A.

Follow-Ups:
- Re: [PATCH] configure: remove unused --enable-uninstalled option
  - From: Iago Toral

References:
- [PATCH] configure: remove unused --enable-uninstalled option
  - From: gemont
- Re: [PATCH] configure: remove unused --enable-uninstalled option
  - From: Iago Toral

[Date Prev][Date Next] [Thread Prev][Thread Next] [Thread Index] [Date Index] [Author Index]