diff --git a/hermit/.gitignore b/hermit/.gitignore
index ed719afbf..0a87d6b0e 100644
--- a/hermit/.gitignore
+++ b/hermit/.gitignore
@@ -1,4 +1,5 @@
 *.o
+*.a
 *.dep
 *~
 *.elf