| diff -urN a/Makefile.pre.in b/Makefile.pre.in |
| --- a/Makefile.pre.in 2012-06-25 22:56:29.837375577 +0100 |
| +++ b/Makefile.pre.in 2012-06-25 22:57:01.293606243 +0100 |
| @@ -557,7 +557,7 @@ |
| # FIXME: next may fail in cross-compilation environment |
| # Use a stamp file to prevent make -j invoking pgen twice |
| $(GRAMMAR_H) $(GRAMMAR_C): Parser/pgen.stamp |
| -Parser/pgen.stamp: $(PGEN) $(GRAMMAR_INPUT) |
| +Parser/pgen.stamp: $(GRAMMAR_INPUT) |
| -@$(INSTALL) -d Include |
| $(PGEN) $(GRAMMAR_INPUT) $(GRAMMAR_H) $(GRAMMAR_C) |
| -touch Parser/pgen.stamp |
