From ef77b9d587c885c166a99cbe4e33c3972a95bfca Mon Sep 17 00:00:00 2001 From: Alessandro Ros Date: Mon, 30 Jun 2025 09:42:17 +0200 Subject: [PATCH] remove unused scripts (#814) --- Makefile | 1 - scripts/bench.mk | 10 ---------- 2 files changed, 11 deletions(-) delete mode 100644 scripts/bench.mk diff --git a/Makefile b/Makefile index 93e8564a..577c11c0 100644 --- a/Makefile +++ b/Makefile @@ -13,7 +13,6 @@ help: @echo " test-32 run tests on a 32-bit system" @echo " test-e2e run end-to-end tests" @echo " lint run linter" - @echo " bench run benchmarks" @echo "" blank := diff --git a/scripts/bench.mk b/scripts/bench.mk deleted file mode 100644 index 6201fe7f..00000000 --- a/scripts/bench.mk +++ /dev/null @@ -1,10 +0,0 @@ -bench: - echo "$$DOCKERFILE_TEST" | docker build -q . -f - -t temp - docker run --rm -it \ - --network=host \ - --name temp \ - temp \ - make bench-nodocker - -bench-nodocker: - go test -bench=. -run=^a -v ./pkg/...