diff options
Diffstat (limited to 'gcc/ada/gnat_ugn.texi')
| -rw-r--r-- | gcc/ada/gnat_ugn.texi | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/gcc/ada/gnat_ugn.texi b/gcc/ada/gnat_ugn.texi index 6485e9daa82..c17ca38184c 100644 --- a/gcc/ada/gnat_ugn.texi +++ b/gcc/ada/gnat_ugn.texi @@ -19496,6 +19496,12 @@ to check substitutability. Specifies the default behavior of generated skeletons. @var{val} can be either "fail" or "pass", "fail" being the default. +@item --passed-tests=@var{val} +@cindex @option{--skeleton-default} (@command{gnattest}) +Specifies whether or not passed tests should be shown. @var{val} can be either +"show" or "hide", "show" being the default. + + @item --tests-root=@var{dirname} @cindex @option{--tests-root} (@command{gnattest}) The directory hierarchy of tested sources is recreated in the @var{dirname} |