On Mi. 02. Jul. 2008, 23:25:56, [EMAIL PROTECTED] wrote: > make testr does this; if that doesn't work, let's re-open the ticket.
Actually 'make testr' does something a little bit different. It creates a '*.pbc' File, converts it into an executable and runs the executable. It doesn't run the pbc-File directly. -- /* [EMAIL PROTECTED] */