From b68285523552c32123753c1a07ce057c272dc6ad Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Tue, 28 Jun 2022 08:47:32 -0400
Subject: [PATCH] do not attempt to open files in Miri

---
 src/linux.rs | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/linux.rs b/src/linux.rs
index 36f4727..7a85633 100644
--- 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;