Fix location of TOOLS in top Makefile

2017-07-19 14:04:15 +02:00
parent dd115b54b6
commit af7315065a
1 changed files with 0 additions and 3 deletions
@@ -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