diff options
Diffstat (limited to 'i2c/build/Makefile')
| -rw-r--r-- | i2c/build/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/i2c/build/Makefile b/i2c/build/Makefile index d881820..b383078 100644 --- a/i2c/build/Makefile +++ b/i2c/build/Makefile @@ -46,3 +46,6 @@ vfiles = \ ../../../../cipher/chacha/src/rtl/chacha_qr.v include xilinx.mk + +lint: + verilator --lint-only --top-module novena_top -Wall -Wno-fatal -Wno-DECLFILENAME $(vfiles) ../../common/rtl/lint-dummy.v |