w64: Fix time conversion for some versions of MinGW-w64
authorStefan Weil <sw@weilnetz.de>
Thu, 12 Apr 2012 20:33:12 +0000 (22:33 +0200)
committerStefan Weil <sw@weilnetz.de>
Sun, 15 Apr 2012 19:25:18 +0000 (21:25 +0200)
commit55dd9ffa70eb44f461b12c248c3df106ba8deca9
treea453f33cedb1a005f2cedacf18130bb1f217fc79
parent0fee8f342884e96b29d7df28475d0c485a317d54
w64: Fix time conversion for some versions of MinGW-w64

tb.time is a time value, but not necessarily of the same size as time_t:
while time_t is 64 bit for w64, tb.time still is 32 bit only.

Therefore we need en explicit conversion.

Signed-off-by: Stefan Weil <sw@weilnetz.de>
savevm.c