From 9277057c02f6fc519d55a2b800b820e6fdc2e0b5 Mon Sep 17 00:00:00 2001
From: Stefan Lankes <slankes@eonerc.rwth-aachen.de>
Date: Sat, 3 Oct 2015 10:59:22 +0200
Subject: [PATCH] add more automatically generated files to the list of ignored
 files

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

diff --git a/hermit/.gitignore b/hermit/.gitignore
index ab7a77471..51b1485f0 100644
--- a/hermit/.gitignore
+++ b/hermit/.gitignore
@@ -11,6 +11,9 @@ qemu-vlan0.pcap
 autom4te.cache
 documentation/html/
 include/hermit/config.inc
+tools/*.img
+tools/*_proxy
+tools/make_initrd
 usr/examples/hello
 usr/examples/hello++
 usr/examples/hellof