Re: [5452] info/pseudotty.c

[Karl Berry]

    +#define _GNU_SOURCE

    2014-04-16  Gavin Smith  <address@hidden>

        * info/pseudotty.c: #define _GNU_SOURCE to get getpt and
        ptsname declarations from <stdlib.h>.  

I am a bit doubtful that defining _GNU_SOURCE is going to be portable.
But I know we #define it in system.h, so I suppose it works out for
other reasons on, say, BSD?

(Sergey or Patrice, if you have any experience in the simplest way to
deal with this, please say ...)

Thanks,
Karl