From cf5e4870b62099d1cc9570746524c143c3a1ed57 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Tue, 6 Jun 2023 21:18:36 +0200
Subject: [PATCH] [doc] add reference to ENABLED_IF directive in devman
---
doc/developer/advance.tex | 6 ++++++
1 file changed, 6 insertions(+)
diff --git a/doc/developer/advance.tex b/doc/developer/advance.tex
index 13357f76e11..ab2200361f8 100644
--- a/doc/developer/advance.tex
+++ b/doc/developer/advance.tex
@@ -570,6 +570,12 @@ modify or disable test cases.
& \textit{None}
\\
\hline
+\texttt{ENABLED\_IF}\nscodeidxdef{Test!Directive}{ENABLED\_IF}
+& Conditionally enable subsequent tests, using Dune variables
+ (e.g. \verb|%{bin-available:gcc}|).
+& \texttt{true}
+\\
+\hline
\texttt{\underline{EXECNOW}}\nscodeidxdef{Test!Directive}{EXECNOW}
& Run a custom command.
& \textit{None}
--
GitLab