Peter Eisentraut wrote:
> On Wed, 2009-08-19 at 19:11 +0200, Stefan Kaltenbrunner wrote:
>> correct - svr1 has bison 1.875 and flex 2.5.35 (for the -HEAD builds)
>> and flex 2.5.4 for the back branches.
>
> Where? In which directories?
/usr/bin/flex is 2.5.4 and /usr/local/bin/flex is 2.5.35.
Stefan