Don't leave old channels laying around

[pinch] / test.sh

diff --git a/test.sh b/test.sh
index 16d9c053d0844b04010d6a6a2b5e8c757a0187a1..81e0c667a707478cee8b4ae55a4f6f98a700459a 100755 (executable)
--- a/test.sh
+++ b/test.sh
@@ -5,10 +5,11 @@ set -e
 PARALLELISM=4
 
 find . -name build -prune -o -name dist -prune -o -name '*.py' -print0 |
 PARALLELISM=4
 
 find . -name build -prune -o -name dist -prune -o -name '*.py' -print0 |

-  xargs -0 mypy --strict --ignore-missing-imports
+  xargs -0 mypy --strict --ignore-missing-imports --no-warn-unused-ignores

 
 for test in tests/*;do
   if [ ! -d "$test" ];then
 
 for test in tests/*;do
   if [ ! -d "$test" ];then

+    echo "### Running test $test" >&2

     "$test"
   fi
 done
     "$test"
   fi
 done