From 4d9d22530fc6c56d81056ec2c6cbe95c1eea5b31 Mon Sep 17 00:00:00 2001
From: "U-vsc-PC\\vsc" <vsc@vsc-PC.(none)>
Date: Wed, 19 Dec 2012 00:48:43 +0000
Subject: [PATCH] fix compilation on sequential win32

---
 C/sysbits.c | 25 ++++++++++++++++++++++---
 1 file changed, 22 insertions(+), 3 deletions(-)

diff --git a/C/sysbits.c b/C/sysbits.c
index e46dd7399..497ed2a07 100755
--- a/C/sysbits.c
+++ b/C/sysbits.c
@@ -466,7 +466,7 @@ static clock_t TimesStartOfTimes, Times_last_time;
 
 /* store user time in this variable */
 static void
-InitTime (int)
+InitTime (int wid)
 {
   HANDLE hProcess = GetCurrentProcess();
   FILETIME CreationTime, ExitTime, KernelTime, UserTime;
@@ -476,8 +476,9 @@ InitTime (int)
     t = clock ();
     Times_last_time = TimesStartOfTimes = t;
   } else {
+#if THREADS
     (*REMOTE_ThreadHandle(wid).last_timep).dwLowDateTime = 
-      UserTime.dwLowDateTime;
+      UserTime.dwLowDateTime;pp
     (*REMOTE_ThreadHandle(wid).last_timep).dwHighDateTime =
       UserTime.dwHighDateTime;
     (*REMOTE_ThreadHandle(wid).start_of_timesp).dwLowDateTime =
@@ -488,10 +489,28 @@ InitTime (int)
       KernelTime.dwLowDateTime;
     (*REMOTE_ThreadHandle(wid).last_time_sysp).dwHighDateTime = 
       KernelTime.dwHighDateTime;
-    (*REMOTE_ThreadHandle(wid).start_of_times_sysp).dwLowDateTime =
+    (*REMOTE_ThreadHandle(wid).start_of_times_sysp).dwLowDateTime =
       KernelTime.dwLowDateTime;
     (*REMOTE_ThreadHandle(wid).start_of_times_sysp).dwHighDateTime = 
       KernelTime.dwHighDateTime;
+#else
+    last_time.dwLowDateTime = 
+      UserTime.dwLowDateTime;
+    last_time.dwHighDateTime =
+      UserTime.dwHighDateTime;
+    StartOfTimes.dwLowDateTime =
+      UserTime.dwLowDateTime;
+    StartOfTimes.dwHighDateTime = 
+      UserTime.dwHighDateTime;
+    last_time_sys.dwLowDateTime =
+      KernelTime.dwLowDateTime;
+    last_time_sys.dwHighDateTime = 
+      KernelTime.dwHighDateTime;
+    StartOfTimes_sys.dwLowDateTime =
+      KernelTime.dwLowDateTime;
+    StartOfTimes_sys.dwHighDateTime = 
+      KernelTime.dwHighDateTime;
+#endif
   }
 }