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 wh
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 +295
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
