Re: [TODO] tools/dev/genrpt.pl is obsolete

2006-01-18 Thread Joshua Hoblitt
Bernhard++ -J -- On Tue, Jan 17, 2006 at 09:55:47PM +0100, Bernhard Schmalhofer wrote: > 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', 'o

[TODO] tools/dev/genrpt.pl is obsolete

2006-01-17 Thread Bernhard Schmalhofer
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