Module Name:	src
Committed By:	wiz
Date:		Mon Oct 20 17:07:38 UTC 2003

Modified Files:
	src/gnu/usr.bin/gawk: config.h

Log Message:
Enable HAVE_MKTIME manually; the configure script fails since it
checks a weird corner case.
Should fix building platforms without shared libs.
Requested by Chuck Silvers.


To generate a diff of this commit:
cvs rdiff -r1.5 -r1.6 src/gnu/usr.bin/gawk/config.h

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.