From 8bfd63ef7fe3f745f2ca3e70cd934355b93c75a7 Mon Sep 17 00:00:00 2001 From: Stefan Lankes Date: Sun, 10 Jan 2016 03:15:46 +0100 Subject: [PATCH] extend the list of ignored files --- hermit/.gitignore | 1 + 1 file changed, 1 insertion(+) 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/