> your patch *and* consistently test flex with "--never-interactive".
Making flex non-interactive sounds desirable in any case, but --never-interactive is not mentioned in the 2.6.0 --help message. Instead there is -B (--batch), although --never-interactive is recognized, I can see experimentally. I do not know when --never-interactive, or any of its variants, was implemented. We should check that before using it ... --thanks, karl.
