Re: make/doc-i18n-root-rules.make: grep --label=""

[Matthias Kilian]

On Mon, Dec 28, 2009 at 10:05:51PM +0100, John Mandereau wrote:
> > What's the reason for that `--label=""'? It's breaking the build
[...]
> The commit that added "--label" is
> 
> commit d4401de33195113a8859629b4bd9483a03d9ab5c
> Author: Werner Lemberg <address@hidden>
> Date:   Thu Dec 14 15:28:27 2006 +0100
> 
> (lang-merge): Protect against grep's `(standard input)' output if there is
> no input.

I'd like to see some example. IMHO, this can't happen in the

        find ... | xargs grep ...

pipe (there's now stdin for grep, since stdin is consumed by xargs).

> It seems to me that the fact there is no input, i.e. that "find
> $(outdir) -name '*.html'", is the sign of a build error, so I've removed
> --label.  Just in case we need to reintroduce it, or more hopefully for
> my curiosity, does your implementation of grep support the option -h
> a.k.a. --no-filename?

Copy&Waste from our grep(1) manpage:

        -h      Never print filename headers (i.e. filenames) with output lines.

But as you write, this `(standard input)' should never happen.

Ciao,
        Kili