diff --git a/hermit/.gitignore b/hermit/.gitignore
index 90cc442b2..81fe8ebb5 100644
--- a/hermit/.gitignore
+++ b/hermit/.gitignore
@@ -2,6 +2,7 @@
 *.dep
 *~
 *.elf
+*.elf32
 *.sym
 *.bin
 *.hex