# Sed script to add DJGPP specific issues to config.h.


$ a\
\
\
/* DGJPP-specific definitions */\
\
#ifdef __DJGPP__\
/*  gcc no longer includes this by default.  */\
# include <sys/version.h>\
#endif

