From 34f3205cf0b53b3f97545a84142f296865e3797c Mon Sep 17 00:00:00 2001 From: Matous Jobanek Date: Thu, 19 Dec 2024 08:15:29 +0100 Subject: [PATCH] drop find-tools.mk (#440) --- 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 -