[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: configure-amflags.patch
From: |
Merijn de Jonge |
Subject: |
Re: configure-amflags.patch |
Date: |
Wed, 5 Dec 2001 18:30:05 +0100 (MET) |
>>>> "Akim" == Akim Demaille <address@hidden> writes:
>
> Akim> Fine!
>
> I've changed CONFIGURE_AMFLAGS into DISTCHECK_CONFIGURE_FLAGS as
> we discussed.
> --
> Alexandre Duret-Lutz
Great!
Thanks a lot!
Best regards,
Merijn de Jonge
--
Merijn de Jonge email: address@hidden
tel: (+31) 20 592 4266 www: http://www.cwi.nl/~mdejonge/