diff --git a/hermit/.gitignore b/hermit/.gitignore
index 41e72a363..ab7a77471 100644
--- a/hermit/.gitignore
+++ b/hermit/.gitignore
@@ -13,6 +13,7 @@ documentation/html/
 include/hermit/config.inc
 usr/examples/hello
 usr/examples/hello++
+usr/examples/hellof
 usr/examples/jacobi
 usr/examples/stream
 usr/examples/thr_hello