From d4add19e6a22abce053a2608beb7bc8ed8a41092 Mon Sep 17 00:00:00 2001
From: Vincent Wei <vincent@minigui.org>
Date: Mon, 8 May 2023 20:09:23 +0800
Subject: [PATCH] tune GetTickCount for threads mode

---
 src/kernel/timer.c | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/src/kernel/timer.c b/src/kernel/timer.c
index 4624fb98..ff895c90 100644
--- a/src/kernel/timer.c
+++ b/src/kernel/timer.c
@@ -556,9 +556,11 @@ DWORD GUIAPI GetTickCount (void)
     else {
         __mg_tick_counter = SHAREDRES_TIMER_COUNTER;
     }
-#else   /* defined _MGRM_PROCESSES */
+#elif defined(_MGRM_STANDALONE)
     __mg_tick_counter = __mg_os_get_time_ticks ();
-#endif  /* not defined _MGRM_PROCESSES */
+#else   /* not defined _MGRM_PROCESSES and _MGRM_PROCESSES */
+    /* do nothing here because the desktop thread updates the tick count */
+#endif  /* not defined _MGRM_PROCESSES and _MGRM_PROCESSES */
 
     return __mg_tick_counter;
 }