commit 25dd564a422ddf79314c96beee2cbc22665866e0 Author: teor <teor@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