Re: [PATCH] Fix dummy module being included even when not needed

2013-11-08 Thread Benjamin Cama
Le vendredi 08 novembre 2013 à 09:06 -0700, Eric Blake a écrit : > On 11/08/2013 08:31 AM, Benjamin Cama wrote: > > My goal is to avoid building any library at all when I am only using > > gnulib for some utils like gitlog-to-changelog or git-version-gen > > (furthermore when I don't even check for

Re: [PATCH] Fix dummy module being included even when not needed

2013-11-08 Thread Eric Blake
On 11/08/2013 08:31 AM, Benjamin Cama wrote: > My goal is to avoid building any library at all when I am only using > gnulib for some utils like gitlog-to-changelog or git-version-gen > (furthermore when I don't even check for a compiler at all; my project > is shell scripting only). GNU Autoconf

Re: [PATCH] Fix dummy module being included even when not needed

2013-11-08 Thread Benjamin Cama
Hi Eric, Le vendredi 08 novembre 2013 à 08:11 -0700, Eric Blake a écrit : > On 11/07/2013 11:14 AM, Benjamin Cama wrote: > > diff --git a/gnulib-tool b/gnulib-tool > > index 669931c..55fbee3 100755 > > --- a/gnulib-tool > > +++ b/gnulib-tool > > @@ -2954,7 +2954,7 @@ ba > > fi > >done > >

Re: [PATCH] Fix dummy module being included even when not needed

2013-11-08 Thread Eric Blake
On 11/08/2013 08:11 AM, Eric Blake wrote: >># Add the dummy module, to make sure the library will be non-empty. >> - if test -z "$have_lib_SOURCES"; then >> + if test -n "$have_lib_SOURCES"; then >> if func_acceptable "dummy"; then >>func_append modules " dummy" > > Huh? The ex

Re: [PATCH] Fix dummy module being included even when not needed

2013-11-08 Thread Eric Blake
On 11/07/2013 11:14 AM, Benjamin Cama wrote: > The test was inverted. > > Signed-off-by: Benjamin Cama > --- > gnulib-tool |2 +- > 1 files changed, 1 insertions(+), 1 deletions(-) > > diff --git a/gnulib-tool b/gnulib-tool > index 669931c..55fbee3 100755 > --- a/gnulib-tool > +++ b/gnulib-

[PATCH] Fix dummy module being included even when not needed

2013-11-07 Thread Benjamin Cama
The test was inverted. Signed-off-by: Benjamin Cama --- gnulib-tool |2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/gnulib-tool b/gnulib-tool index 669931c..55fbee3 100755 --- a/gnulib-tool +++ b/gnulib-tool @@ -2954,7 +2954,7 @@ ba fi done # Add the dummy mo