Re: [PATCH] configure: remove unused --enable-uninstalled option
- From: Iago Toral <itoral igalia com>
- To: <grilo-list gnome org>
- Subject: Re: [PATCH] configure: remove unused --enable-uninstalled option
- Date: Mon, 20 Dec 2010 11:58:25 +0000
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]