do not attempt to open files in Miri (#121)

seanmonstar · Sep 26, 2022 · 354348c · 354348c
1 parent 5f1b033
commit 354348c
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/src/linux.rs b/src/linux.rs
@@ -126,6 +126,11 @@ fn init_cgroups() {
     // Should only be called once
     debug_assert!(CGROUPS_CPUS.load(Ordering::SeqCst) == 0);
 
+    // Fails in Miri by default (cannot open files), and Miri does not have parallelism anyway.
+    if cfg!(miri) {
+        return;
+    }
+
     if let Some(quota) = load_cgroups("/proc/self/cgroup", "/proc/self/mountinfo") {
         if quota == 0 {
             return;