From f7c09a44c6f45189ba452f3b9247d3b4def760ee Mon Sep 17 00:00:00 2001
From: Stefan Lankes <slankes@eonerc.rwth-aachen.de>
Date: Mon, 16 Jan 2017 18:54:15 +0100
Subject: [PATCH] add temporary repos to the list of ignored files

---
 .gitignore | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index e313af817..c21315328 100644
--- a/.gitignore
+++ b/.gitignore
@@ -43,6 +43,9 @@ usr/benchmarks/basic
 usr/openmpbench/schedbench
 usr/openmpbench/syncbench
 usr/openmpbench/taskbench
-usr/x86/
 usr/tmp/
 arch/x86/kernel/boot.h
+usr/binutils/
+usr/gcc/
+usr/newlib/
+usr/pte/