Todd C. Miller: > > > - devel/cbmc: repeatable bison segfault, seems related to > > > curses/libtextstyle. > > I can't reproduce this on amd64. > > That's because I disabled use of libtextstyle in later bison diffs :-)
No, I dropped the --without-libtextstyle-prefix for testing purposes and the bison executable is linked with libtextstyle.so.0.1. I can't reproduce the segfault. I'll spin up an i386. -- Christian "naddy" Weisgerber na...@mips.inka.de
