From dbcc898bcc5c3d39eac60deface22caaf7c06dce Mon Sep 17 00:00:00 2001
From: Ludwig Ortmann <ludwig.ortmann@fu-berlin.de>
Date: Wed, 15 Jan 2014 12:24:28 +0100
Subject: [PATCH] update internal timer on hwtimer_arch_set

---
 cpu/native/hwtimer_cpu.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/cpu/native/hwtimer_cpu.c b/cpu/native/hwtimer_cpu.c
index d87a64d901..069c5c5da0 100644
--- a/cpu/native/hwtimer_cpu.c
+++ b/cpu/native/hwtimer_cpu.c
@@ -237,6 +237,7 @@ void hwtimer_arch_set(unsigned long offset, short timer)
 {
     DEBUG("hwtimer_arch_set(%lu, \033[31m%i\033[0m)\n", offset, timer);
 
+    hwtimer_arch_now(); /* update native_hwtimer_now */
     offset += native_hwtimer_now;
     hwtimer_arch_set_absolute(offset, timer);