From b373f207e7d0c7ba7a5b84668d923e3c1853c805 Mon Sep 17 00:00:00 2001
From: Stefan Lankes <slankes@eonerc.rwth-aachen.de>
Date: Tue, 3 May 2016 20:05:02 +0200
Subject: [PATCH] ignore binary of the basic benchmark

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

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