diff --git a/test.zsh b/test.sh similarity index 72% rename from test.zsh rename to test.sh index 8456737f93..75e38cf1f5 100644 --- a/test.zsh +++ b/test.sh @@ -1,6 +1,6 @@ -#!/bin/zsh +#!/bin/sh -for f in **/*_test.v ; do +for f in `find . -type f -name '*_test.v'`; do echo "Testing $f..." v $f || echo "fail" done