diff options
Diffstat (limited to 'util.mk')
| -rw-r--r-- | util.mk | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/util.mk b/util.mk deleted file mode 100644 index 7a68b7ccd..000000000 --- a/util.mk +++ /dev/null @@ -1,24 +0,0 @@ -# util.mk - Miscellaneous utility functions for use in Makefiles - -# Throws an error if the value of the variable named by $(1) is not in the list given by $(2) -define validate-option - # value must be part of the list - ifeq ($$(filter $($(1)),$(2)),) - $$(error Value of $(1) must be one of the following: $(2)) - endif - # value must be a single word (no whitespace) - ifneq ($$(words $($(1))),1) - $$(error Value of $(1) must be one of the following: $(2)) - endif -endef - -ifeq ($(OS),Windows_NT) -NULL_OUT := nul -else -NULL_OUT = /dev/null -endif -# Returns the path to the command $(1) if exists. Otherwise returns an empty string. -find-command = $(shell which $(1) 2> $(NULL_OUT)) - -# recursive wildcard -rwildcard=$(foreach d,$(wildcard $(1:=/*)),$(call rwildcard,$d,$2) $(filter $(subst *,%,$2),$d)) |