From af7315065a66c6b3d70d2e3d4c863e8454dbccc6 Mon Sep 17 00:00:00 2001
From: Ralph Lange <ralph.lange@gmx.de>
Date: Wed, 19 Jul 2017 14:04:15 +0200
Subject: [PATCH] Fix location of TOOLS in top Makefile

---
 Makefile | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/Makefile b/Makefile
index 6b499d8be..f00bf1330 100644
--- a/Makefile
+++ b/Makefile
@@ -10,9 +10,6 @@
 TOP = .
 include $(TOP)/configure/CONFIG
 
-# Bootstrap resolution: tools not installed yet
-#TOOLS = $(TOP)/src/tools
-
 DIRS += configure src
 src_DEPEND_DIRS = configure