From 2228795e3db374385df7a28a673870f08764ee70 Mon Sep 17 00:00:00 2001
From: Stefan Lankes <slankes@eonerc.rwth-aachen.de>
Date: Sun, 5 Jul 2015 23:39:21 +0200
Subject: [PATCH] extend the list of ignored files

- demo executables should be not part of the repository
---
 hermit/.gitignore | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/hermit/.gitignore b/hermit/.gitignore
index 81fe8ebb5..d8e6a5143 100644
--- a/hermit/.gitignore
+++ b/hermit/.gitignore
@@ -8,3 +8,6 @@
 *.hex
 documentation/html/
 include/hermit/config.inc
+newlib/examples/hello
+newlib/examples/jacobi
+newlib/x86/