Merge pull request #10439 from mikeller/makefile_improvement

Minor Makefile improvement.
This commit is contained in:
Michael Keller 2021-01-03 14:44:33 +01:00 committed by GitHub
commit 3158412159
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 3 deletions

View File

@ -83,9 +83,7 @@ include $(ROOT)/make/system-id.mk
include $(ROOT)/make/checks.mk
# configure some directories that are relative to wherever ROOT_DIR is located
ifndef TOOLS_DIR
TOOLS_DIR := $(ROOT)/tools
endif
TOOLS_DIR ?= $(ROOT)/tools
DL_DIR := $(ROOT)/downloads
export RM := rm