From 68aced5a7b17e1b0e8a49726e0f820ea08fe2fe4 Mon Sep 17 00:00:00 2001 From: Stefan Lankes Date: Sun, 22 Jan 2017 23:25:37 +0100 Subject: [PATCH] add directorties for the toolchain because we download the directories on demand --- .gitignore | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/.gitignore b/.gitignore index 79f00c766..a86372eea 100644 --- a/.gitignore +++ b/.gitignore @@ -43,8 +43,11 @@ usr/benchmarks/basic usr/openmpbench/schedbench usr/openmpbench/syncbench usr/openmpbench/taskbench -usr/x86/ usr/tmp/ +usr/binutils/ +usr/gcc/ +usr/newlib/ +usr/pte/ tools/Makefile usr/ircce/Makefile usr/xray/Makefile