* Russ Allbery <r...@debian.org>, 2013-09-09, 01:59:
I suspect this sort of thing will be hard to fix,
Actually, it's very easy to fix. It's a matter of adding this to one of
the mapping files:
{ symbol: [ "getopt", private, "<unistd.h>", public ] },
{ symbol: [ "optarg", private, "<unistd.h>", public ] },
{ symbol: [ "optind", private, "<unistd.h>", public ] },
{ symbol: [ "opterr", private, "<unistd.h>", public ] },
{ symbol: [ "optopt", private, "<unistd.h>", public ] },
--
Jakub Wilk
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
