On 01/18/12 15:13, Joel E. Denny wrote: > Perhaps we should consider removing djgpp > support instead of trying to maintain it. > Does anyone know if it actually works correctly anymore?
The last djgpp port was of Bison 2.4.1 (dated 2008); the port is dated more than two years ago <http://groups.google.com/group/comp.os.msdos.djgpp/msg/acb00acf38959aac>. Given Bruno's comments and this history, I wouldn't worry about continuing to support djgpp. If djgpp developers come to us later and provide patches, we can resurrect the port. I'm CC'ing this to Juan Manual Guerrero to give him a heads-up. Juan, the URL for Joel's email is <http://lists.gnu.org/archive/html/bug-bison/2012-01/msg00054.html>.
