From 45b82cd5c2c65206c18f3910a5277e80c4eae32d Mon Sep 17 00:00:00 2001 From: David Harris Date: Sat, 27 Apr 2024 17:12:58 -0700 Subject: [PATCH] Removed no-timing from lint-wally because there are no longer delay statements in the code --- bin/lint-wally | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/bin/lint-wally b/bin/lint-wally index d1fdc7dcc..cc658edc6 100755 --- a/bin/lint-wally +++ b/bin/lint-wally @@ -26,7 +26,7 @@ fi for config in ${configs[@]}; do # echo "$config linting..." - if !($verilator --no-timing --lint-only --quiet --top-module wallywrapper "-I$basepath/config/shared" "-I$basepath/config/$config" "-I$basepath/config/deriv/$config" $basepath/src/cvw.sv $basepath/testbench/wallywrapper.sv $basepath/src/*/*.sv $basepath/src/*/*/*.sv --relative-includes ); then + if !($verilator --lint-only --quiet --top-module wallywrapper "-I$basepath/config/shared" "-I$basepath/config/$config" "-I$basepath/config/deriv/$config" $basepath/src/cvw.sv $basepath/testbench/wallywrapper.sv $basepath/src/*/*.sv $basepath/src/*/*/*.sv --relative-includes ); then if [ "$1" == "-nightly" ]; then echo -e "${RED}$config failed lint${NC}" fails=$((fails+1))