diff --git a/hermit/.gitignore b/hermit/.gitignore
index d8e6a5143..ed146b158 100644
--- a/hermit/.gitignore
+++ b/hermit/.gitignore
@@ -11,3 +11,4 @@ include/hermit/config.inc
 newlib/examples/hello
 newlib/examples/jacobi
 newlib/x86/
+newlib/tmp/