Hi,
I just fiddled a bit around with the gnet-drc2.scm to get a more
detailed error message. I succeeded to convince it to say
ERROR: Pin(s) with pintype 'unknown': U105:14 U102:20 U101:24
are connected by net '+5V' to pin(s) with pintype 'unknown': U105:14 U102:20 U101:24
instead of:
ERROR: Pin(s) with pintype 'unknown': U105:14 U102:20 U101:24
are connected to pin(s) with pintype 'unknown': U105:14 U102:20 U101:24
That is, I included the net name into the error message.
The patch is rather trivial, should I submit it somewhere?
Best,
Holger.
--
/"\ Holger Oehm <holger.oehm@xxxxxxxxxxxxxx>
\ / KeyID: B50E51A9, 1024bit at http://www.holger-oehm.de/public-key.asc
X Fingerprint: E92A 5C2C 497A 44ED 23C0 DB66 1DD9 3EF7 B50E 51A9
/ \ ASCII Ribbon Campaign against HTML email
Attachment:
pgpjw5Bqxny5p.pgp
Description: PGP signature