From fe5c31b77446f24cc80230fb7316e7e2a1b923e9 Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Mon, 12 May 2014 15:37:53 +0200
Subject: [PATCH] Add the 'build' directory to '.gitignore'

Issue #1082.
---
 .gitignore | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.gitignore b/.gitignore
index b4f822c132..a468b82b18 100644
--- a/.gitignore
+++ b/.gitignore
@@ -3,6 +3,8 @@
 *.swp
 *.rej
 
+/build
+
 /repos/base-codezero/contrib
 /repos/base-fiasco/contrib
 /repos/base-fiasco/download