diff -r 4e33f644f7cf -r e14003eb4d42 targets/plc_main_head.c
--- a/targets/plc_main_head.c	Fri Jun 27 13:56:49 2014 +0200
+++ b/targets/plc_main_head.c	Fri Dec 12 14:41:53 2014 +0100
@@ -31,9 +31,6 @@
  **/
 extern unsigned long greatest_tick_count__;
 
-/* Effective tick time with 1ms default value */
-static long long Ttick = 1000000;
-
 /* Help to quit cleanly when init fail at a certain level */
 static int init_level = 0;
 
@@ -72,8 +69,9 @@
     int res = 0;
     init_level = 0;
     
-    if(common_ticktime__)
-        Ttick = common_ticktime__;
+    /* Effective tick time with 1ms default value */
+    if(!common_ticktime__)
+        common_ticktime__ = 1000000;
 
     config_init__();
     __init_debug();