Am 01.01.2007 um 23:35 schrieb Christian Biere:

> Does it need getopt.h or does it simply include the header file
> without checking for its existence? Why is the file used at all?

in its main.c it simply has
#include <getopt.h>



-- 
Georg Schwarz    http://home.pages.de/~schwarz/
georg.schwarz@freenet.de  +49 151 11559652