From 225ca4b3f8efb7c95cf204bef3ddae3d432b3ec6 Mon Sep 17 00:00:00 2001 From: Luke Shumaker Date: Thu, 3 Mar 2016 19:14:44 -0500 Subject: Add a check so that it errors sensibly if devtoolsdir is set incorrectly. --- common.once.head.mk | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/common.once.head.mk b/common.once.head.mk index d7faab8..45d51b4 100644 --- a/common.once.head.mk +++ b/common.once.head.mk @@ -20,6 +20,10 @@ MAKEFLAGS += --no-builtin-rules --no-builtin-variables .PHONY: FORCE +ifeq ($(wildcard $(devtoolsdir)/),) +$(error config.mk:devtoolsdir points to a non-existant directory: $(devtoolsdir)) +endif + write-ifchanged = $(topsrcdir)/write-ifchanged # Magic for tracking variables that affect files. If a file changes -- cgit v1.2.2