From ce34a34965fd86d316c1e8935315e0b8e747dfb8 Mon Sep 17 00:00:00 2001 From: Weizhen Wang Date: Mon, 6 Jun 2022 18:50:15 +0800 Subject: [PATCH] makefile: remove useless item Signed-off-by: Weizhen Wang --- Makefile | 9 --------- 1 file changed, 9 deletions(-) diff --git a/Makefile b/Makefile index b6b3cab07a462..64ad558481539 100644 --- a/Makefile +++ b/Makefile @@ -409,15 +409,6 @@ dumpling_integration_test: dumpling_bins failpoint-enable build_dumpling @make failpoint-disable ./dumpling/tests/run.sh $(CASE) -dumpling_tools: - @echo "install dumpling tools..." - @cd dumpling/tools && make - -dumpling_tidy: - @echo "go mod tidy" - GO111MODULE=on go mod tidy - git diff --exit-code go.mod go.sum dumpling/tools/go.mod dumpling/tools/go.sum - dumpling_bins: @which bin/tidb-server @which bin/minio