From 1cdc5db75d90600471f6104936aa8d3bd1d565c0 Mon Sep 17 00:00:00 2001
From: David Harris <david_harris@hmc.edu>
Date: Mon, 11 Oct 2021 11:20:42 -0700
Subject: [PATCH] Extended lint to check rv32/64g (including fpu.  Not clean
 yet.

---
 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 fbad2651..bb9984c5 100755
--- a/wally-pipelined/lint-wally
+++ b/wally-pipelined/lint-wally
@@ -5,7 +5,7 @@ export PATH=$PATH:/usr/local/bin/
 verilator=`which verilator`
 
 basepath=$(dirname $0)
-for config in rv64ic rv32ic; do
+for config in rv64g rv32g; do
     echo "$config linting..."
     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"