From 7cd727c918fd362b346e19f344581b4b0a0e8fd1 Mon Sep 17 00:00:00 2001 From: Ross Thompson Date: Wed, 31 May 2023 11:00:38 -0500 Subject: [PATCH] Oups forgot to include updates to the lint script itself. --- sim/lint-wally | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sim/lint-wally b/sim/lint-wally index 8de8010df..acad750b6 100755 --- a/sim/lint-wally +++ b/sim/lint-wally @@ -8,7 +8,7 @@ basepath=$(dirname $0)/.. for config in rv32e rv64gc rv32gc rv32imc rv32i rv64i rv64fpquad; do #for config in rv64gc; do echo "$config linting..." - if !($verilator --lint-only "$@" --top-module wallypipelinedsoc "-I$basepath/config/shared" "-I$basepath/config/$config" $basepath/src/wally/cvw.sv $basepath/src/*/*.sv $basepath/src/*/*/*.sv --relative-includes ); then + if !($verilator --no-timing --lint-only "$@" --top-module wallypipelinedsoc "-I$basepath/config/shared" "-I$basepath/config/$config" $basepath/src/wally/cvw.sv $basepath/src/*/*.sv $basepath/src/*/*/*.sv --relative-includes ); then echo "Exiting after $config lint due to errors or warnings" exit 1 fi