diff options
Diffstat (limited to 'src/lib/_task.rs')
| -rw-r--r-- | src/lib/_task.rs | 15 |
1 files changed, 12 insertions, 3 deletions
diff --git a/src/lib/_task.rs b/src/lib/_task.rs index a12c2f278fd..8eece16b508 100644 --- a/src/lib/_task.rs +++ b/src/lib/_task.rs @@ -1,5 +1,5 @@ native "rust" mod rustrt { - fn task_sleep(uint time_in_us); + fn task_sleep(uint time_in_us); } /** @@ -8,5 +8,14 @@ native "rust" mod rustrt { * arg: time_in_us maximum number of microseconds to yield control for */ fn sleep(uint time_in_us) { - ret rustrt.task_sleep(time_in_us); -} \ No newline at end of file + ret rustrt.task_sleep(time_in_us); +} + +// Local Variables: +// mode: rust; +// fill-column: 78; +// indent-tabs-mode: nil +// c-basic-offset: 4 +// buffer-file-coding-system: utf-8-unix +// compile-command: "make -k -C .. 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; +// End: |