bug#10852: VPATH builds cannot recover from missing parser header

[Akim Demaille]

hi Stefano, Hello World!\n

Le 20 févr. 2012 à 14:58, Stefano Lattarini a écrit :

> Hi Akim.
> 
> On 02/20/2012 02:24 PM, Akim Demaille wrote:
>>> src/parse-gram.h: src/parse-gram.c
>>>     @if test ! -f $@; then rm -f src/parse-gram.c; else :; fi
>>>     @if test ! -f $@; then $(MAKE) $(AM_MAKEFLAGS) src/parse-gram.c; else 
>>> :; fi
>> Also, why two "if"?
> For the sake of "make -n": at least GNU make and Solaris make execute
> recipes containing the $(MAKE) string even when they are running in dry
> mode; so if we didn't break the recipe above in two invocations, the
> file 'src/parse-gram.c' would be removed even upon "make -n".  Not nice.

Ah, I can understand the rationale, thanks for the explanation!

Another technical question: any reason for not using the much
shorter "||" here?

src/parse-gram.h: src/parse-gram.c
        test -f $@ || rm -f src/parse-gram.c
        test -f $@ || $(MAKE) $(AM_MAKEFLAGS) src/parse-gram.c