From 40461f33cebe05c8c820ac4cc5320c304b76610a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ulysse=20G=C3=A9rard?= Date: Tue, 11 Jun 2024 17:00:04 +0200 Subject: [PATCH] also skip pwo test if indexer not installed --- tests/test-dirs/server-tests/dune | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/tests/test-dirs/server-tests/dune b/tests/test-dirs/server-tests/dune index 58f1b6f2c9..2b05b6a6c2 100644 --- a/tests/test-dirs/server-tests/dune +++ b/tests/test-dirs/server-tests/dune @@ -8,3 +8,7 @@ (applies_to chdir_to_root) (enabled_if (<> %{os_type} Win32))) + +(cram + (applies_to pwo-uid-stability) + (enabled_if %{bin-available:ocaml-index}))