On 02.01.2013 18:20, Heikki Linnakangas wrote:
> Hmm, looking closer though, repl_gram.h is not actually needed for
> anything, though. We could just remove the -d flag from the bison
> invocation and not build it to begin with. I'll go and do that..
And looking even closer, we don't use the -d flag in git master anymore,
so repl_gram.h is not being built, and there's nothing to do here. I
suppose we could change back-branches to also not build it, but I don't
think I'm going to bother.
- Heikki