From 92cb97c05b641d9efa3c19dad905ddc93938873c Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Fri, 5 Jul 2013 12:42:22 +0200
Subject: [PATCH] Let Git ignore libports/include/x86emu

The headers are mere symlinks created via 'make prepare'.
---
 .gitignore | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/.gitignore b/.gitignore
index 3f311ea47..9dba7006c 100644
--- a/.gitignore
+++ b/.gitignore
@@ -104,6 +104,12 @@
 /libports/include/stdcxx-genode/bits/nested_exception.h
 /libports/include/stdcxx-genode/exception
 /libports/include/stdcxx-genode/new
+/libports/include/x86emu/stdint.h
+/libports/include/x86emu/stdio.h
+/libports/include/x86emu/stdlib.h
+/libports/include/x86emu/string.h
+/libports/include/x86emu/x86emu.h
+/libports/include/x86emu/x86emu/
 /libports/src/lib/gmp/mpn/asm-defs.m4
 /libports/src/lib/gmp/mpn/arm/hamdist.c
 /libports/src/lib/gmp/mpn/arm/popcount.c