From aa6d5c918119099ab0389d1da7b2ba15ef0666ce Mon Sep 17 00:00:00 2001
From: Henrik Hautakoski <henrik@eossweden.org>
Date: Thu, 15 Jun 2023 11:33:00 +0200
Subject: [PATCH] Makefile: rename "build-tools" target to just "tools"

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 4e324b0..9f30de7 100644
--- a/Makefile
+++ b/Makefile
@@ -14,7 +14,7 @@ build: build/$(PROGRAM)
 build/$(PROGRAM) :
 	$(GO) build $(GOBUILDFLAGS) -o $@ cmd/thalos/main.go
 
-build-tools : build/thalos-tools
+tools : build/thalos-tools
 
 build/thalos-tools :
 	$(GO) build $(GOBUILDFLAGS) -o $@ cmd/tools/main.go cmd/tools/bench.go cmd/tools/validate.go