summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--util/lint/spelling.txt9
1 files changed, 7 insertions, 2 deletions
diff --git a/util/lint/spelling.txt b/util/lint/spelling.txt
index 1263144d9e..58fe30d406 100644
--- a/util/lint/spelling.txt
+++ b/util/lint/spelling.txt
@@ -7,10 +7,15 @@
# The format of each line is:
# mistake||correction
#
-# Note that "sepc" and "acknowledgement" have been commented out.
-
+# Some entries may trigger false-positives, and have been commented out:
+#
+# Reason: Both spellings are correct.
#acknowledgement||acknowledgment
+#
+# Reason: On RISC-V, `SEPC` is the name of a register.
#sepc||spec
+#
+
ACII||ASCII
Debiab||Debian
FTBS||FTBFS