diff --git a/pipelined/srt/lint-srt b/pipelined/srt/lint-srt
index 399201be0..8fba602e8 100755
--- a/pipelined/srt/lint-srt
+++ b/pipelined/srt/lint-srt
@@ -1 +1,2 @@
 verilator --lint-only --top-module srt srt.sv -I../config/rv64gc -I../config/shared ../src/generic/*.sv ../src/generic/flop/*.sv
+verilator --lint-only --top-module testbench testbench.sv -I../config/rv64gc -I../config/shared ../src/generic/*.sv ../src/generic/flop/*.sv ../src/fpu/unpacking.sv