* Russ Allbery <[email protected]>, 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 [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
