From 4ce9d30b85c9b895e0f35a562fa60f4d50d79d0e Mon Sep 17 00:00:00 2001 From: Matous Jobanek Date: Wed, 18 Dec 2024 21:07:54 +0100 Subject: [PATCH] drop find-tools.mk --- make/find-tools.mk | 19 ------------------- 1 file changed, 19 deletions(-) delete mode 100644 make/find-tools.mk diff --git a/make/find-tools.mk b/make/find-tools.mk deleted file mode 100644 index 638ceebd..00000000 --- a/make/find-tools.mk +++ /dev/null @@ -1,19 +0,0 @@ -# Check all required tools are accessible -REQUIRED_EXECUTABLES = go gofmt git sed yamllint find grep python3 -# If we're running e.g. "make docker-build", nothing but docker is required -# because all the above build tools are supposed to be included in the docker -# image. -ifneq (,$(findstring docker-,$(MAKECMDGOALS))) - REQUIRED_EXECUTABLES = docker -endif -# Don't check for any tool if "make help" is run or "make" without a target. -ifneq ($(MAKECMDGOALS),help) -ifneq ($(MAKECMDGOALS),) -ifeq ($(VERBOSE),1) -$(info Searching for required executables: $(REQUIRED_EXECUTABLES)...) -endif -K := $(foreach exec,$(REQUIRED_EXECUTABLES),\ - $(if $(shell which $(exec) 2>/dev/null),some string,$(error "ERROR: No "$(exec)" binary found in in PATH!"))) -endif -endif -