From c06e851b885fd359430168c4101cf87bc31a2574 Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Tue, 27 Sep 2022 14:06:48 +0200
Subject: [PATCH] [ptests] adds universe deps to @disabled_ptests targets
---
tools/ptests/ptests.ml | 1 +
1 file changed, 1 insertion(+)
diff --git a/tools/ptests/ptests.ml b/tools/ptests/ptests.ml
index 1a4c248823c..16b8d23e2c1 100644
--- a/tools/ptests/ptests.ml
+++ b/tools/ptests/ptests.ml
@@ -1958,6 +1958,7 @@ let warn_if_not_enabled =
Format.fprintf fmt
"(rule ; Warns when some test conditions are disabled\n \
(alias disabled_%s)\n \
+ (deps (universe))\n \
(enabled_if (or false %a))\n \
(action (progn (echo \"WARNING: Enabling conditions of some tests are false for @@%s/%s\\n\")\n \
%a))\n\
--
GitLab