system: make set_thread_priority() linux branch also available for android.

2026-01-10 07:08:05 -05:00 · 2026-01-07 07:24:58 +01:00
parent 04e0a80222
commit d516d63183
1 changed files with 4 additions and 1 deletions
--- a/src/system/thread_priority.rs
+++ b/src/system/thread_priority.rs
@@ -56,8 +56,11 @@ pub fn set_thread_priority(priority: ThreadPriority) {
        }
    }

-    #[cfg(target_os = "linux")]
+    #[cfg(any(target_os = "linux", target_os = "android"))]
    {
+        // For android see:
+        // https://github.com/android/ndk/issues/1255#issuecomment-1426545936
+
        extern "C" {
            fn setpriority(which: i32, who: u32, prio: i32) -> i32;
        }