diff --git a/.gitignore b/.gitignore
index 18ab8e812..eca17bec9 100644
--- a/.gitignore
+++ b/.gitignore
@@ -246,3 +246,4 @@ build-aux/test-driver
 /garbage-gen
 /garbage-gen.exe
 /grub-fs-tester
+grub-core/build-grub-module-verifier