diff --git a/hermit/.gitignore b/hermit/.gitignore index 521bfe5a8..18fe4a93c 100644 --- a/hermit/.gitignore +++ b/hermit/.gitignore @@ -22,6 +22,7 @@ usr/benchmarks/RCCE_pingpong usr/benchmarks/stream usr/benchmarks/hg usr/benchmarks/netio +usr/benchmarks/basic usr/openmpbench/schedbench usr/openmpbench/syncbench usr/openmpbench/taskbench