diff options
Diffstat (limited to 'src/rt/rust_scheduler.cpp')
| -rw-r--r-- | src/rt/rust_scheduler.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/rt/rust_scheduler.cpp b/src/rt/rust_scheduler.cpp index bf40fea36ee..1df70306975 100644 --- a/src/rt/rust_scheduler.cpp +++ b/src/rt/rust_scheduler.cpp @@ -3,6 +3,7 @@ #include <cassert> #include <pthread.h> #include "rust_internal.h" +#include "rust_util.h" #include "globals.h" #ifndef _WIN32 @@ -414,6 +415,5 @@ rust_scheduler::get_task() { // indent-tabs-mode: nil // c-basic-offset: 4 // buffer-file-coding-system: utf-8-unix -// compile-command: "make -k -C $RBUILD 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; // End: // |