From 7045ac437bcc31db541a3a8e2abcb16d922d30bf Mon Sep 17 00:00:00 2001 From: Olivier Houchard Date: Sun, 13 Jan 2019 00:19:15 +0000 Subject: [PATCH] Instead of using an incomplete list of platforms that uses 64bits time_t in 32bits mode, special case amd64, as i386 is the only arch that still uses 32bits time_t. --- sys/kern/kern_tc.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/sys/kern/kern_tc.c b/sys/kern/kern_tc.c index e55290df785..2656fb4d22f 100644 --- a/sys/kern/kern_tc.c +++ b/sys/kern/kern_tc.c @@ -145,7 +145,8 @@ sysctl_kern_boottime(SYSCTL_HANDLER_ARGS) getboottime(&boottime); -#ifndef __mips__ +/* i386 is the only arch which uses a 32bits time_t */ +#ifdef __amd64__ #ifdef SCTL_MASK32 int tv[2];