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




On Mon, 20 Dec 2010 12:46:16 +0100, "Juan A." Suárez Romero <jasuarez igalia com> wrote:
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.

Ok, pushed.

Iago


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