epsilon-devel
[Top][All Lists]
Advanced

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

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


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

Hi Luca, all.

When doing a `make distcheck' in poke I observed that when it invokes
`configure' it passes a couple of weird options:

  $ ../../configure --with-jitter= --enable-debug= --srcdir=../.. 
--prefix=/home/jemarch/gnu/hacks/poke-2/build/poke-2.0.91/_inst

Note the --with-jitter= and --enable-debug=.  I have no idea where these
options are coming from, and why is `make distcheck' using them.  AFAIK
--with-jitter should not be used when using Jitter in sub-package mode.

Any idea?

PS: the options seem to be inocuous.



reply via email to

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