Re: git-version-gen w/o git

bug-gnulib

From:	Paul Eggert
Subject:	Re: git-version-gen w/o git
Date:	Thu, 27 Dec 2012 17:35:32 -0800
User-agent:	Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/17.0 Thunderbird/17.0

On 12/27/2012 03:41 PM, Peter Rosin wrote:

If it helps I can regenerate with your redirection fix, but I assume
whoever commits it can fix that part easily enough. Just let me know.


How about if you do that, and we give Eric and/or others a week or
two  to comment, and if there's no objection then we can
fold it into gnulib?

Current Thread

[Next in Thread]

Re: git-version-gen w/o git, Paul Eggert, 2012/12/23
- Re: git-version-gen w/o git, Peter Rosin, 2012/12/27
  - Re: git-version-gen w/o git, Paul Eggert <=
    - Re: git-version-gen w/o git, Peter Rosin, 2012/12/28
    - [no subject], Peter Rosin, 2012/12/28
    - [PATCH v4 1/2] maint.mk: handle missing git with more grace, Peter Rosin, 2012/12/28
    - Re: [PATCH v4 1/2] maint.mk: handle missing git with more grace, Eric Blake, 2012/12/31
    - [PATCH v4 2/2] git-version-gen: add --fallback option to use if git is not present, Peter Rosin, 2012/12/28
    - Re: [PATCH v4 2/2] git-version-gen: add --fallback option to use if git is not present, Eric Blake, 2012/12/31
    - [PATCH v3 1/2] maint.mk: handle missing git with more grace, Peter Rosin, 2012/12/28
    - [PATCH v3 2/2] git-version-gen: add --fallback option to use if git is not present, Peter Rosin, 2012/12/28
    - Re: git-version-gen w/o git, Peter Rosin, 2012/12/28
    - [PATCH v5 1/2] maint.mk: handle missing git with more grace, Peter Rosin, 2012/12/28