epsilon-devel
[Top][All Lists]
Advanced

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

Re: [JITTER] Strange options passed to configure by `make distcheck'


From: Jose E. Marchesi
Subject: Re: [JITTER] Strange options passed to configure by `make distcheck'
Date: Fri, 04 Feb 2022 12:37:59 +0100
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux)

> On 2022-02-04 at 03:57 +0100, Jose E. Marchesi wrote:
>
>> PS: the options seem to be inocuous.
>
> I do not know, but look at what I found:
>
> [luca@moore ~/projects-by-others/poke]$ git grep -- '--with-jitter'
> ChangeLog:      --with-jitter to configure.
> ChangeLog:      --with-jitter and --enable-debug options.
> Makefile.am:# as soon as we bump to a Jitter version not requiring 
> --with-jitter
> Makefile.am:AM_DISTCHECK_CONFIGURE_FLAGS = --with-jitter=$(WITH_JITTER) \
>             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
>
> So that definitely comes from Poke's build system.

Ok, -1 for me for not looking with enough attention :)
That was very old stuff.  I just removed it.

Thanks!



reply via email to

[Prev in Thread] Current Thread [Next in Thread]