diff --git a/tests/test-dirs/server-tests/dune b/tests/test-dirs/server-tests/dune index 58f1b6f2c..2b05b6a6c 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}))