diff options
Diffstat (limited to 'common.once.head.mk')
| -rw-r--r-- | common.once.head.mk | 4 |
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 |