From 3493027bf5b50e0d121a6fe7551f8391c734c9a6 Mon Sep 17 00:00:00 2001 From: Kip Macsai-Goren Date: Fri, 4 Jun 2021 17:05:47 -0400 Subject: [PATCH] added shared constants file list of includes --- wally-pipelined/lint-wally | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/wally-pipelined/lint-wally b/wally-pipelined/lint-wally index d741d368..fbad2651 100755 --- a/wally-pipelined/lint-wally +++ b/wally-pipelined/lint-wally @@ -7,7 +7,7 @@ verilator=`which verilator` basepath=$(dirname $0) for config in rv64ic rv32ic; do echo "$config linting..." - if !($verilator --lint-only "$@" --top-module wallypipelinedsoc "-I$basepath/config/$config" $basepath/src/*/*.sv); then + if !($verilator --lint-only "$@" --top-module wallypipelinedsoc "-I$basepath/config/shared" "-I$basepath/config/$config" $basepath/src/*/*.sv --relative-includes); then echo "Exiting after $config lint due to errors or warnings" exit 1 fi