diff --git a/.gitignore b/.gitignore
index 257d2c58..7c0f02bf 100644
--- a/.gitignore
+++ b/.gitignore
@@ -20,3 +20,4 @@ tags
 env-riscv-tools.sh
 env-esp-tools.sh
 .bsp/
+.sbtopts