() Paul Eggert <egg...@cs.ucla.edu> () Mon, 12 Jul 2010 09:40:20 -0700
Perhaps there is some advantage to _Exit on non-free platforms but I wouldn't worry about that unless the topic comes up and you have a good expert on those platforms available. Thanks for the explanation. Were it not for just-minted gnulib module ‘_Exit’, i would probably revert to ‘_exit’. thi
