diff --git a/doc/developer/advance.tex b/doc/developer/advance.tex index 13357f76e11e74b919a909d9d7c617ccaf669c6e..ab2200361f82dd9c2b9e4ffe3e60fab98bf0ecb2 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}