From 31df452d7107a8a2d9643bda50b3373bc55740b2 Mon Sep 17 00:00:00 2001
From: Stefan Lankes <slankes@eonerc.rwth-aachen.de>
Date: Thu, 9 Jul 2015 17:05:35 +0200
Subject: [PATCH] add temporary file to the list of ignored files

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

diff --git a/hermit/.gitignore b/hermit/.gitignore
index d8e6a5143..ed146b158 100644
--- a/hermit/.gitignore
+++ b/hermit/.gitignore
@@ -11,3 +11,4 @@ include/hermit/config.inc
 newlib/examples/hello
 newlib/examples/jacobi
 newlib/x86/
+newlib/tmp/