From ccb21d80c81061706f6af4395937f5d7bed861aa Mon Sep 17 00:00:00 2001
From: Ryan Emery <ryanemer@amazon.com>
Date: Tue, 30 Sep 2025 14:50:41 -0700
Subject: [PATCH] Add a filter to _everything_

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

diff --git a/test-server/Makefile b/test-server/Makefile
index 7fd66285..19fabf91 100644
--- a/test-server/Makefile
+++ b/test-server/Makefile
@@ -8,7 +8,7 @@ all: start-servers run-tests
 # CI target for GitHub Actions
 ci: start-servers run-tests stop-servers
 
-SERVER_DIRS := $(shell find . -maxdepth 1 -type d -name '*-server' | sed 's|^\./||' | sort)
+SERVER_DIRS := $(shell find . -maxdepth 1 -type d -name '*-server' | sed 's|^\./||' | $(if $(FILTER),grep $(FILTER),cat) | sort)
 # SERVER_DIRS := cpp-v3-server
 
 START_SERVER_TARGETS := $(addprefix start-, $(SERVER_DIRS))