From 4b9db41584069d4a6a0bc0776410212eb00820d5 Mon Sep 17 00:00:00 2001
From: Max Brunsfeld <maxbrunsfeld@gmail.com>
Date: Wed, 2 Sep 2020 09:17:48 -0700
Subject: [PATCH] Remove unnecessary echo in test script

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

diff --git a/script/test b/script/test
index 31e90226..9b578dcf 100755
--- a/script/test
+++ b/script/test
@@ -90,7 +90,7 @@ if [[ \
   -n $TREE_SITTER_TEST_EXAMPLE_FILTER || \
   -n $TREE_SITTER_TEST_TRIAL_FILTER \
 ]]; then
-  echo ${top_level_filter:=corpus}
+  : ${top_level_filter:=corpus}
 fi
 
 if [[ "${mode}" == "debug" ]]; then