Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.

Dismiss

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

0 views

Skip to first unread message

Bernhard Schmalhofer

unread,

Jan 17, 2006, 3:55:47 PM1/17/06

to parrotbug...@parrotcode.org

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

Joshua Hoblitt

unread,

Jan 18, 2006, 5:47:45 AM1/18/06

to Bernhard Schmalhofer, parrotbug...@parrotcode.org

Bernhard++

-J

0 new messages