From mboxrd@z Thu Jan  1 00:00:00 1970
Date: Fri, 6 May 2022 08:55:01 +0200 (CEST)
From: Richard Weinberger <richard@nod.at>
Message-ID: <621612176.32062.1651820101326.JavaMail.zimbra@nod.at>
In-Reply-To: <8b049af2-e303-f07f-6ee2-6e91e6fac445@siemens.com>
References: <20220413120509.5637-1-richard@nod.at>
 <CAFLxGvwT2cgn8vRF4HzFuJd1BvjHMueMPc4Cq3+LxNoZ3QDd7A@mail.gmail.com>
 <8b049af2-e303-f07f-6ee2-6e91e6fac445@siemens.com>
Subject: Re: [PATCH 1/2] debian: Remove --enable-smp
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
List-Id: Discussions about the Xenomai project <xenomai.xenomai.org>
List-Unsubscribe: <https://xenomai.org/mailman/options/xenomai>,
 <mailto:xenomai-request@xenomai.org?subject=unsubscribe>
List-Archive: <http://xenomai.org/pipermail/xenomai/>
List-Post: <mailto:xenomai@xenomai.org>
List-Help: <mailto:xenomai-request@xenomai.org?subject=help>
List-Subscribe: <https://xenomai.org/mailman/listinfo/xenomai>,
 <mailto:xenomai-request@xenomai.org?subject=subscribe>
To: Jan Kiszka <jan.kiszka@siemens.com>
Cc: xenomai <xenomai@xenomai.org>

----- Urspr=C3=BCngliche Mail -----
> Von: "Jan Kiszka" <jan.kiszka@siemens.com>
> On 05.05.22 22:06, Richard Weinberger via Xenomai wrote:
>> ping? :-)
>>=20
>=20
> Thanks for the reminder - merged.

Did you also apply "[PATCH 2/2] doc: Remove references to --enable-smp"?
=20
> But "configure --help" itself still talks about "--enable-smp". Should
> like be changed to "--disable-smp" to reflect the default.

Hm, I thought (hoped?) --help is auto generated by autoconf.
Will check.

Thanks,
//richard