Re: [PATCH 1/2] debian: Remove --enable-smp

2022-05-06 Thread Richard Weinberger via Xenomai
- Ursprüngliche Mail - > Von: "Jan Kiszka" >> Hm, I thought (hoped?) --help is auto generated by autoconf. >> Will check. >> > > You series did not touch configure.ac. But 54f69549266b ("configure.ac: Enable SMP by default") did. Now I see that the help text is part of the

Re: [PATCH 1/2] debian: Remove --enable-smp

2022-05-06 Thread Jan Kiszka via Xenomai
On 06.05.22 08:55, Richard Weinberger wrote: > - Ursprüngliche Mail - >> Von: "Jan Kiszka" >> On 05.05.22 22:06, Richard Weinberger via Xenomai wrote: >>> ping? :-) >>> >> >> Thanks for the reminder - merged. > > Did you also apply "[PATCH 2/2] doc: Remove references to --enable-smp"? >

Re: [PATCH 1/2] debian: Remove --enable-smp

2022-05-06 Thread Richard Weinberger via Xenomai
- Ursprüngliche Mail - > Von: "Jan Kiszka" > On 05.05.22 22:06, Richard Weinberger via Xenomai wrote: >> ping? :-) >> > > Thanks for the reminder - merged. Did you also apply "[PATCH 2/2] doc: Remove references to --enable-smp"? > But "configure --help" itself still talks about

Re: [PATCH 1/2] debian: Remove --enable-smp

2022-05-06 Thread Jan Kiszka via Xenomai
On 05.05.22 22:06, Richard Weinberger via Xenomai wrote: > ping? :-) > Thanks for the reminder - merged. But "configure --help" itself still talks about "--enable-smp". Should like be changed to "--disable-smp" to reflect the default. Jan > On Wed, Apr 13, 2022 at 2:05 PM Richard Weinberger

Re: [PATCH 1/2] debian: Remove --enable-smp

2022-05-05 Thread Richard Weinberger via Xenomai
ping? :-) On Wed, Apr 13, 2022 at 2:05 PM Richard Weinberger via Xenomai wrote: > > SMP is now enabled by default for all architectures. > No need to use --enable-smp anymore. > > Signed-off-by: Richard Weinberger > --- > debian/rules | 1 - > 1 file changed, 1 deletion(-) > > diff --git

[PATCH 1/2] debian: Remove --enable-smp

2022-04-13 Thread Richard Weinberger via Xenomai
SMP is now enabled by default for all architectures. No need to use --enable-smp anymore. Signed-off-by: Richard Weinberger --- debian/rules | 1 - 1 file changed, 1 deletion(-) diff --git a/debian/rules b/debian/rules index 3fe6bece93c9..60094734630d 100755 --- a/debian/rules +++