From 062fbfb61056a858f80eed3b564fe98cfc7b02a4 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 fbad26515..bb9984c59 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"