From 73d9e7775c9fa0f36d3e755060b0d6fbe9033ae4 Mon Sep 17 00:00:00 2001 From: Thomas Fleming Date: Thu, 22 Apr 2021 13:39:20 -0400 Subject: [PATCH] Pass lint-wally arguments to verilator --- wally-pipelined/lint-wally | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/wally-pipelined/lint-wally b/wally-pipelined/lint-wally index 9d5a20ba2..188511199 100755 --- a/wally-pipelined/lint-wally +++ b/wally-pipelined/lint-wally @@ -2,9 +2,9 @@ # The verilator lint tool is faster and better than Modelsim so it is best to run this first. echo "rv64ic linting..." -verilator --lint-only --top-module wallypipelinedsoc -Iconfig/rv64ic src/*/*.sv +verilator --lint-only "$@" --top-module wallypipelinedsoc -Iconfig/rv64ic src/*/*.sv echo "rv32ic linting..." -verilator --lint-only --top-module wallypipelinedsoc -Iconfig/rv32ic src/*/*.sv +verilator --lint-only "$@" --top-module wallypipelinedsoc -Iconfig/rv32ic src/*/*.sv #verilator --lint-only --top-module wallypipelinedsoc -Iconfig/rv64ic src/*/*.sv src/*/div/*.sv # --lint-only just runs lint rather than trying to compile and simulate