From 1bba79f92e817868d194cac6eeddf8e1bd4b5a15 Mon Sep 17 00:00:00 2001
From: Stefan Lankes <slankes@eonerc.rwth-aachen.de>
Date: Fri, 11 Mar 2016 11:39:11 +0100
Subject: [PATCH] add demo executable to the list of ignore files

---
 hermit/.gitignore | 3 +++
 1 file changed, 3 insertions(+)

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/