From dc4f00c97575691e9095598512c6be7e99f7d47d Mon Sep 17 00:00:00 2001
From: David Harris <david_harris@hmc.edu>
Date: Sun, 17 Jan 2021 18:45:19 -0500
Subject: [PATCH] Sped up exe2memfile.pl

---
 wally-pipelined/lint-wally | 1 +
 1 file changed, 1 insertion(+)
 create mode 100755 wally-pipelined/lint-wally

diff --git a/wally-pipelined/lint-wally b/wally-pipelined/lint-wally
new file mode 100755
index 000000000..c1c03a29b
--- /dev/null
+++ b/wally-pipelined/lint-wally
@@ -0,0 +1 @@
+verilator --lint-only -Isrc src/*.sv