From a48835c28ea3dce787cf3a218bdfc9c5f216fe77 Mon Sep 17 00:00:00 2001
From: Stefan Lankes <slankes@eonerc.rwth-aachen.de>
Date: Mon, 25 May 2015 09:21:46 +0200
Subject: [PATCH] add *.elf32 to the list of ignored files

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

diff --git a/hermit/.gitignore b/hermit/.gitignore
index 90cc442b2..81fe8ebb5 100644
--- a/hermit/.gitignore
+++ b/hermit/.gitignore
@@ -2,6 +2,7 @@
 *.dep
 *~
 *.elf
+*.elf32
 *.sym
 *.bin
 *.hex