From 9f115e056e5bc3ea220392414129d77a1a475690 Mon Sep 17 00:00:00 2001 From: Wilson Snyder Date: Wed, 21 Dec 2016 17:21:44 -0500 Subject: [PATCH] Commentary --- bin/verilator | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/bin/verilator b/bin/verilator index babe3cdc8..f3d6e1055 100755 --- a/bin/verilator +++ b/bin/verilator @@ -2041,8 +2041,9 @@ numbers (or all lines if omitted). With lint_off using '*' will override any lint_on directives in the source, i.e. the warning will still not be printed. -If the -msg is omitted, all lint warnings are enabled/disabled. This will -override all later lint warning enables for the specified region. +If the -msg is omitted, all lint warnings (see list in -Wno-lint) are +enabled/disabled. This will override all later lint warning enables for +the specified region. =item tracing_on [-file "" [-lines [ - ]]]