miniwdl check: document --suppress and --no-suppress

chanzuckerberg · Mar 28, 2021 · 5b66f2f · 5b66f2f
1 parent 316af40
commit 5b66f2f
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/docs/check.rst b/docs/check.rst
@@ -74,6 +74,8 @@ Individual warnings can be suppressed by a WDL comment containing ``!WarningName
 
 ShellCheck warnings can be suppressed using `that tool's own convention <https://github.com/koalaman/shellcheck/wiki/Ignore>`_.
 
+Warnings may be suppressed globally with a command-line flag such as `--suppress ForwardReference,StringCoercion` (not recommended). On the other hand, the flag `--no-suppress` causes the checker to ignore inline suppression comments and report the warnings anyway.
+
 Pre-commit hook
 ---------------