It looks like the script 'tools/dev/genrpt.pl' does basically the same as 'parrotbug'.In order to decrease the level of confusion I propose to remove genrpt.pl and the associated make targets 'ok', 'okfile', 'nok', 'nokfile'.
CU, Bernhard
- [TODO] tools/dev/genrpt.pl is obsolete Bernhard Schmalhofer
- Re: [TODO] tools/dev/genrpt.pl is obsolete Joshua Hoblitt
