Re: [PATCH] maint: fix invalid patch in recent commit

[Pádraig Brady]

On 03/02/15 07:35, Bernhard Voelker wrote:
> On 02/03/2015 06:12 AM, Pádraig Brady wrote:
> Good idea, thanks.
> Minor issue: depending on the state of the gnulib directory,
> the syntax-check may ask questions and probably hang:
> 
>   ensure_gl_diffs_apply_cleanly
>   Reversed (or previously applied) patch detected!  Assume -R? [n]
>   Apply anyway? [n]
>   8 out of 8 hunks ignored
>   gl/lib/tempname.c.diff
>   To refresh run: make refresh-gnulib-patches
>   cfg.mk:127: recipe for target 'sc_ensure_gl_diffs_apply_cleanly' failed
>   make: *** [sc_ensure_gl_diffs_apply_cleanly] Error 1
> 
> OTOH, as this is the bad case anyway, having patch asking may not be
> much of a problem.
> 
> Otherwise +1, thanks again.

I added a -f option to avoid prompts.
Also I redirected errors to stderr,
and with that I pushed.

Thanks for the review.
Pádraig.