From: Daan De Meyer <daan.j.demeyer@gmail.com>
Date: Tue, 1 Oct 2024 20:33:45 +0000 (+0200)
Subject: Run diff without sandbox
X-Git-Tag: v25~245^2~10
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8d458e4155ccd3be30aa68bc80c039392330bbec;p=thirdparty%2Fmkosi.git

Run diff without sandbox

have_cache() is called in run_clean() now which means we're not
guaranteed to have a tools tree available so let's run diff without
a tools tree.
---

diff --git a/mkosi/__init__.py b/mkosi/__init__.py
index 4d53cef4a..f14ecc13e 100644
--- a/mkosi/__init__.py
+++ b/mkosi/__init__.py
@@ -2781,7 +2781,11 @@ def have_cache(config: Config) -> bool:
                     ["diff", "--unified", manifest, "-"],
                     input=new,
                     check=False,
-                    sandbox=config.sandbox(binary="diff", options=["--bind", manifest, manifest]),
+                    sandbox=config.sandbox(
+                        binary="diff",
+                        tools=False,
+                        options=["--bind", manifest, manifest],
+                    ),
                 )
 
             return False