diff --git a/.gitignore b/.gitignore
index 1798e6b..a79a055 100644
--- a/.gitignore
+++ b/.gitignore
@@ -5,7 +5,7 @@
 
 *.dSYM
 
-/idris2
+/idris2boot
 /runtests
 
 /dist/idris2.c