From bb0d6b498c9822c2ef23e1171c7e53e048dce7cf Mon Sep 17 00:00:00 2001
From: Matthew Fernandez <matthew.fernandez@nicta.com.au>
Date: Tue, 2 Jun 2015 20:19:21 +1000
Subject: [PATCH] Ignore x86 generated header.

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

diff --git a/.gitignore b/.gitignore
index 481f844bc..0a4d9a894 100644
--- a/.gitignore
+++ b/.gitignore
@@ -28,3 +28,4 @@ manual/manual.pdf
 # Generated headers
 libsel4/arch_include/arm/sel4/arch/invocation.h
 libsel4/arch_include/ia32/sel4/arch/invocation.h
+libsel4/arch_include/x86/sel4/arch/invocation.h
-- 
GitLab