Skip to content
Snippets Groups Projects
Commit c06e851b authored by Patrick Baudin's avatar Patrick Baudin
Browse files

[ptests] adds universe deps to @disabled_ptests targets

parent a9a10893
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 0 deletions
tools/ptests/ptests.ml
+ 1
− 0
View file @ c06e851b
...@@ -1958,6 +1958,7 @@ let warn_if_not_enabled = ...@@ -1958,6 +1958,7 @@ let warn_if_not_enabled =
Format.fprintf fmt Format.fprintf fmt
"(rule ; Warns when some test conditions are disabled\n \ "(rule ; Warns when some test conditions are disabled\n \
(alias disabled_%s)\n \ (alias disabled_%s)\n \
(deps (universe))\n \
(enabled_if (or false %a))\n \ (enabled_if (or false %a))\n \
(action (progn (echo \"WARNING: Enabling conditions of some tests are false for @@%s/%s\\n\")\n \ (action (progn (echo \"WARNING: Enabling conditions of some tests are false for @@%s/%s\\n\")\n \
%a))\n\ %a))\n\
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment