Compile warning fix

2012-08-20 12:24:34 +02:00
parent 606ff66407
commit 94caac575b
1 changed files with 1 additions and 1 deletions
--- a/base-okl4/src/base/lock/lock_helper.h
+++ b/base-okl4/src/base/lock/lock_helper.h
@@ -39,7 +39,7 @@ static inline void thread_yield() { Okl4::L4_Yield(); }
 *
 * \return true if the thread was in blocking state
 */
-static bool thread_check_stopped_and_restart(Genode::Native_thread_id tid)
+static inline bool thread_check_stopped_and_restart(Genode::Native_thread_id tid)
 {
 	using namespace Okl4;