From 75f0c369317059a2a50467ab43a75c2ea4baca5f Mon Sep 17 00:00:00 2001 From: Graydon Hoare Date: Sun, 4 Jul 2010 22:41:42 -0700 Subject: [PATCH] Perform valgrind-specific timing tweaks in a platform-sensitive manner. --- src/rt/rust_timer.cpp | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/src/rt/rust_timer.cpp b/src/rt/rust_timer.cpp index 997fbb51260..fdee30758fc 100644 --- a/src/rt/rust_timer.cpp +++ b/src/rt/rust_timer.cpp @@ -65,14 +65,15 @@ rust_timer::rust_timer(rust_dom &dom) : dom(dom), exit_flag(0) #if defined(__WIN32__) thread = CreateThread(NULL, 0, timer_loop, this, 0, NULL); dom.win32_require("CreateThread", thread != NULL); + if (RUNNING_ON_VALGRIND) + Sleep(10); #else pthread_attr_init(&attr); pthread_attr_setdetachstate(&attr, PTHREAD_CREATE_JOINABLE); pthread_create(&thread, &attr, timer_loop, (void *)this); -#endif - if (RUNNING_ON_VALGRIND) { + if (RUNNING_ON_VALGRIND) usleep(10000); - } +#endif } rust_timer::~rust_timer()