[bug-gawk] gawk 4.0.1 and 4.0.2 replace mktime bug

[Alan]

Hi,

With gawk 4.0.1 and 4.0.2 there's a build problem when the mktime() 
function is deemed inadequate and replaced when linking statically.

m68k-atari-mint-gcc  -O2 -pipe   -o gawk array.o awkgram.o builtin.o 
dfa.o ext.o field.o floatcomp.o gawkmisc.o getopt.o getopt1.o io.o 
main.o msg.o node.o random.o re.o regex.o replace.o version.o eval.o 
profile.o -lm -lpthread
/j/usr/m68k-atari-mint/gcc-bin/4.6.3/../../../lib/gcc/m68k-atari-mint/4.6.3/../../../libc.a(localtime.o):localtime.o:(.text+0x3eb4): 
multiple definition of `_mktime'
replace.o:replace.o:(.text+0x678): first defined here

This is an Atari m68k platform.

Alan.