From 03b9878005a495382de7c472d29e4a735efb7bf4 Mon Sep 17 00:00:00 2001
From: Katherine Parry <kparry4@gmail.com>
Date: Tue, 21 Jun 2022 15:48:47 -0700
Subject: [PATCH] removed rv64fp from lint

---
 pipelined/regression/lint-wally | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pipelined/regression/lint-wally b/pipelined/regression/lint-wally
index 2b5288d51..750486c4e 100755
--- a/pipelined/regression/lint-wally
+++ b/pipelined/regression/lint-wally
@@ -5,7 +5,7 @@ export PATH=$PATH:/usr/local/bin/
 verilator=`which verilator`
 
 basepath=$(dirname $0)/..
-for config in rv64fp rv64fpquad rv32e rv64gc rv32gc rv32ic; do
+for config in rv32e rv64gc rv32gc rv32ic rv64fpquad; do
     echo "$config linting..."
     if !($verilator --lint-only "$@" --top-module wallypipelinedsoc "-I$basepath/config/shared" "-I$basepath/config/$config" $basepath/src/*/*.sv $basepath/src/*/*/*.sv --relative-includes); then
         echo "Exiting after $config lint due to errors or warnings"