From 2d35c0230b55bf3ebe22305aaa98a9dde4573606 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Fri, 24 Jan 2025 11:15:16 +0100
Subject: [PATCH] [tests] disable cache for a few dune commands in cram tests

---
 tests/misc/share_directory.t/run.t       | 6 +++---
 tests/misc/user_directories.unix.t/run.t | 2 +-
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/tests/misc/share_directory.t/run.t b/tests/misc/share_directory.t/run.t
index 0792a43ff3..0d66213b21 100644
--- a/tests/misc/share_directory.t/run.t
+++ b/tests/misc/share_directory.t/run.t
@@ -1,7 +1,7 @@
-  $ dune build --root . @install
+  $ dune build --cache=disabled  --root . @install
 
 Basic case
-  $ dune exec -- frama-c
+  $ dune exec --cache=disabled -- frama-c
   [kernel] IS_SET false
   [dirs] path (dir)
   [dirs] Found: FRAMAC_SHARE/dirs/path
@@ -22,7 +22,7 @@ Basic case
 
 With option
   $ cp -r share copied
-  $ dune exec -- frama-c -dirs-share copied
+  $ dune exec --cache=disabled -- frama-c -dirs-share copied
   [kernel] IS_SET true
   [dirs] path (dir)
   [dirs] Found: copied/path
diff --git a/tests/misc/user_directories.unix.t/run.t b/tests/misc/user_directories.unix.t/run.t
index 241bc8a3ab..4affd7b1b6 100644
--- a/tests/misc/user_directories.unix.t/run.t
+++ b/tests/misc/user_directories.unix.t/run.t
@@ -3,7 +3,7 @@ touch the actual user HOME.
 In addition, make sure that you use dune with option `--cache=disabled`,
 in order not to pollute `home/.cache` in dune >= 3.16
 
-  $ dune build --root . @install
+  $ dune build --cache=disabled --root . @install
 
 Basic case
   $ HOME=home dune exec --cache=disabled -- frama-c
-- 
GitLab