[tor-commits] [chutney/master] warnings: Use $CHUTNEY_WARNINGS_SKIP

[teor at torproject.org]

commit 25dd564a422ddf79314c96beee2cbc22665866e0
Author: teor <teor at torproject.org>
Date:   Mon Mar 9 15:52:53 2020 +1000

    warnings: Use $CHUTNEY_WARNINGS_SKIP
    
    When $CHUTNEY_WARNINGS_SKIP is true, skip all warnings.
---
 tools/warnings.sh | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/tools/warnings.sh b/tools/warnings.sh
index 850bd49..174393e 100755
--- a/tools/warnings.sh
+++ b/tools/warnings.sh
@@ -21,6 +21,13 @@
 #
 #    CHUTNEY_WARNINGS_SUMMARY:
 #        set to "true" to merge warnings from all instances
+#
+#    CHUTNEY_WARNINGS_SKIP:
+#        set to "true" to skip all warnings
+
+if [ "$CHUTNEY_WARNINGS_SKIP" = true ]; then
+    exit 0
+fi
 
 if [ ! -d "$CHUTNEY_PATH" ] || [ ! -x "$CHUTNEY_PATH/chutney" ]; then
     # looks like a broken path: use the path to this tool instead