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