diff options
Diffstat (limited to 'fpga')
| -rwxr-xr-x | fpga/usrp3/tools/scripts/launch_vlint.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/fpga/usrp3/tools/scripts/launch_vlint.sh b/fpga/usrp3/tools/scripts/launch_vlint.sh index a0169ce3e..0f6ccc895 100755 --- a/fpga/usrp3/tools/scripts/launch_vlint.sh +++ b/fpga/usrp3/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:*) |