From e98cb9f00e36236493d0948fbabe5a2b8c3748fe Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Wed, 2 Nov 2022 15:10:53 +0100
Subject: [PATCH] [ptests] doc completion
---
tools/ptests/ptests.ml | 1 +
1 file changed, 1 insertion(+)
diff --git a/tools/ptests/ptests.ml b/tools/ptests/ptests.ml
index bc6cbf9cc86..f30f94d5827 100644
--- a/tools/ptests/ptests.ml
+++ b/tools/ptests/ptests.ml
@@ -231,6 +231,7 @@ let example_msg =
@@PTEST_ORACLE@@ # Basename of the current oracle file (macro only usable in FILTER directives).@ \
@@PTEST_DEFAULT_OPTIONS@@ # The default option list: %s@ \
@@PTEST_LIBS@@ # The current list of modules defined by the LIBS directive.@ \
+ @@PTEST_LIBRARY@@ # The current list of modules defined by the LIBRARY directive.@ \
@@PTEST_DEPS@@ # The current list of dependencies defined by the DEPS directive.@ \
@@PTEST_ENABLED_IF@@ # The current value of ENABLED_IF directive.@ \
@@PTEST_MODULE@@ # The current list of modules defined by the MODULE directive.@ \
--
GitLab