diff --git a/tests/misc/share_directory.t/run.t b/tests/misc/share_directory.t/run.t index 0792a43ff37bf2ff403d092a69a1b6f135ad3178..0d66213b21168e02842a5bea1d4a51869b2ea59b 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 241bc8a3abb250ca5f4408be8416b21f451a1470..4affd7b1b6344702b493c709e8726c344397d229 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