diff --git a/tools/scripts/launch_vlint.sh b/tools/scripts/launch_vlint.sh index a0169ce..0f6ccc8 100755 --- a/tools/scripts/launch_vlint.sh +++ b/tools/scripts/launch_vlint.sh @@ -25,7 +25,7 @@ function print_color { *Fatal:*) eval $ERR_CLR; echo "$line"; eval $CLR_OFF ;; - *Error:*) + *Error:*|*Error[[:space:]]\(suppressible\):*) eval $ERR_CLR; echo "$line"; eval $CLR_OFF ;; *Warning:*)