summaryrefslogtreecommitdiff
path: root/common.once.head.mk
diff options
context:
space:
mode:
Diffstat (limited to 'common.once.head.mk')
-rw-r--r--common.once.head.mk4
1 files changed, 0 insertions, 4 deletions
diff --git a/common.once.head.mk b/common.once.head.mk
index 45d51b4..d7faab8 100644
--- a/common.once.head.mk
+++ b/common.once.head.mk
@@ -20,10 +20,6 @@ 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