diff --git a/hermit/.gitignore b/hermit/.gitignore
index 73c6c391d..1c4e51946 100644
--- a/hermit/.gitignore
+++ b/hermit/.gitignore
@@ -25,5 +25,8 @@ usr/benchmarks/RCCE_pingpong
 usr/benchmarks/stream
 usr/benchmarks/hg
 usr/benchmarks/netio
+usr/openmpbench/schedbench
+usr/openmpbench/syncbench
+usr/openmpbench/taskbench
 usr/x86/
 usr/tmp/