# HG changeset patch
# User etisserant
# Date 1202721968 -3600
# Node ID 24b504f67c72e3894cfe865cdf3132bc0923f2d5
# Parent  e5e9cb0f027fed59a374e7c36f8d1c979562ce5e
Fixed current time struct in linux runtime

diff -r e5e9cb0f027f -r 24b504f67c72 runtime/plc_Linux_main.c
--- a/runtime/plc_Linux_main.c	Fri Feb 08 18:35:30 2008 +0100
+++ b/runtime/plc_Linux_main.c	Mon Feb 11 10:26:08 2008 +0100
@@ -6,8 +6,7 @@
 
 void PLC_timer_notify(sigval_t val)
 {
-    struct timespec CURRENT_TIME;
-    clock_gettime(CLOCK_REALTIME, &CURRENT_TIME);
+    clock_gettime(CLOCK_REALTIME, &__CURRENT_TIME);
     __run();
 }