fix linter

apfaudio · Jul 6, 2024 · b82cffa · b82cffa
1 parent 82623a3
commit b82cffa
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/gateware/scripts/verilator_lint.sh b/gateware/scripts/verilator_lint.sh
@@ -4,6 +4,7 @@
 verilator --lint-only -DVERILATOR_LINT_ONLY \
     -DICE40 \
     -DSELECTED_DSP_CORE=mirror \
+    -DDEBUG_UART_CLKDIV=12 \
     -Iboards/icebreaker \
     -Ical \
     -Idrivers \
@@ -18,6 +19,7 @@ verilator --lint-only -DVERILATOR_LINT_ONLY \
 verilator --lint-only -DVERILATOR_LINT_ONLY \
     -DECP5 \
     -DSELECTED_DSP_CORE=mirror \
+    -DDEBUG_UART_CLKDIV=12 \
     -Iboards/colorlight_i5 \
     -Ical \
     -Idrivers \
@@ -33,6 +35,7 @@ verilator --lint-only -DVERILATOR_LINT_ONLY \
     -DICE40 \
     -DSELECTED_DSP_CORE=touch_cv \
     -DTOUCH_SENSE_ENABLED \
+    -DDEBUG_UART_CLKDIV=12 \
     -Iboards/icebreaker \
     -Ical \
     -Idrivers \