Re: [PATCH] gnumach: configure: add --with-version-suffix=STRING

Hi! On Thu, 4 Oct 2012 18:18:23 +0200, Pino Toscano wrote: > Subject: [PATCH] Change the version string > > Switch the default version string to "gnumach (PKGVERSION) VERSION", > with PKGVERSION being "GNU Mach" (i.e. the package name) by default, > and overridable by the user with --with-pkgver

Re: [PATCH] gnumach: configure: add --with-version-suffix=STRING

Alle mercoledì 3 ottobre 2012, Thomas Schwinge ha scritto: > Hi! > > On Wed, 3 Oct 2012 17:50:38 +0200, Pino Toscano wrote: > > Alle martedì 2 ottobre 2012, Thomas Schwinge ha scritto: > > > On Mon, 1 Oct 2012 19:59:35 +0200, Pino Toscano > > > > wrote: > > > > Alle giovedì 27 settembre 2012,

Re: [PATCH] gnumach: configure: add --with-version-suffix=STRING

Hi! On Wed, 3 Oct 2012 17:50:38 +0200, Pino Toscano wrote: > Alle martedì 2 ottobre 2012, Thomas Schwinge ha scritto: > > On Mon, 1 Oct 2012 19:59:35 +0200, Pino Toscano > wrote: > > > Alle giovedì 27 settembre 2012, Thomas Schwinge ha scritto: > > > > --with-pkgversion=PKG Use PKG in t

Re: [PATCH] gnumach: configure: add --with-version-suffix=STRING

Alle martedì 2 ottobre 2012, Thomas Schwinge ha scritto: > Hi! > > On Mon, 1 Oct 2012 19:59:35 +0200, Pino Toscano wrote: > > Alle giovedì 27 settembre 2012, Thomas Schwinge ha scritto: > > > On Mon, 24 Sep 2012 02:04:05 +0200, Guillem Jover > > > > wrote: > > > > On Mon, 2012-09-24 at 00:30:3

Re: [PATCH] gnumach: configure: add --with-version-suffix=STRING

Hi! On Mon, 1 Oct 2012 19:59:35 +0200, Pino Toscano wrote: > Alle giovedì 27 settembre 2012, Thomas Schwinge ha scritto: > > On Mon, 24 Sep 2012 02:04:05 +0200, Guillem Jover > wrote: > > > On Mon, 2012-09-24 at 00:30:39 +0200, Pino Toscano wrote: > > > > Alle lunedì 24 settembre 2012, Thomas S

Re: [PATCH] gnumach: configure: add --with-version-suffix=STRING

Hi, Alle giovedì 27 settembre 2012, Thomas Schwinge ha scritto: > On Mon, 24 Sep 2012 02:04:05 +0200, Guillem Jover wrote: > > On Mon, 2012-09-24 at 00:30:39 +0200, Pino Toscano wrote: > > > Alle lunedì 24 settembre 2012, Thomas Schwinge ha scritto: > > > > On Mon, 24 Sep 2012 00:04:20 +0200, Pi

Re: [PATCH] gnumach: configure: add --with-version-suffix=STRING

Hi! On Mon, 24 Sep 2012 02:04:05 +0200, Guillem Jover wrote: > On Mon, 2012-09-24 at 00:30:39 +0200, Pino Toscano wrote: > > Alle lunedì 24 settembre 2012, Thomas Schwinge ha scritto: > > > On Mon, 24 Sep 2012 00:04:20 +0200, Pino Toscano wrote: > > > > +# An optional suffix for the version strin

Re: [PATCH] gnumach: configure: add --with-version-suffix=STRING

On Mon, 2012-09-24 at 00:30:39 +0200, Pino Toscano wrote: > Alle lunedì 24 settembre 2012, Thomas Schwinge ha scritto: > > On Mon, 24 Sep 2012 00:04:20 +0200, Pino Toscano wrote: > > > +# An optional suffix for the version string. > > > +AC_MSG_CHECKING([for the suffix for the version string]) > >

Re: [PATCH] gnumach: configure: add --with-version-suffix=STRING

Hi, Alle lunedì 24 settembre 2012, Thomas Schwinge ha scritto: > Generally OK, but two comments: > > On Mon, 24 Sep 2012 00:04:20 +0200, Pino Toscano wrote: > > Subject: [PATCH] configure: add --with-version-suffix=STRING > > > > Add the possibility to append a custom string to the gnumach > >

Re: [PATCH] gnumach: configure: add --with-version-suffix=STRING

Hi! Generally OK, but two comments: On Mon, 24 Sep 2012 00:04:20 +0200, Pino Toscano wrote: > Subject: [PATCH] configure: add --with-version-suffix=STRING > > Add the possibility to append a custom string to the gnumach version string. > (Useful to distinguish different flavours of kernel.) >

[PATCH] gnumach: configure: add --with-version-suffix=STRING

Hi, the attached gnumach patch allows to specify a custom suffix for the gnumach version string. This can be useful to distinguish different kernels, for example. (A much simplier version of this patch has been developed by Samuel Thibault, and it's part of the Debian package for a couple of mo