[PATCH 07/26] Instead of using an incomplete list of platforms

[Sebastian Huber]

From: Olivier Houchard <cognet at FreeBSD.org>

that uses 64bits time_t in 32bits mode, special case amd64, as i386 is
the only arch that still uses 32bits time_t.
---
 cpukit/score/src/kern_tc.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/cpukit/score/src/kern_tc.c b/cpukit/score/src/kern_tc.c
index d154381541..cc2b47aeb8 100644
--- a/cpukit/score/src/kern_tc.c
+++ b/cpukit/score/src/kern_tc.c
@@ -273,7 +273,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];
 
-- 
2.31.1