diff --git a/hermit/.gitignore b/hermit/.gitignore index feb723cf0..73c6c391d 100644 --- a/hermit/.gitignore +++ b/hermit/.gitignore @@ -24,5 +24,6 @@ usr/benchmarks/RCCE_pingping usr/benchmarks/RCCE_pingpong usr/benchmarks/stream usr/benchmarks/hg +usr/benchmarks/netio usr/x86/ usr/tmp/