test.zsh: Renamed and made more portable

2023-08-10 21:13:21 +03:00 · 2019-07-25 03:25:12 -07:00 · 2019-07-25 03:25:12 -07:00 · 094f097e26
commit 094f097e26
parent 3a8cdadcf5
1 changed files with 2 additions and 2 deletions
--- a/test.zsh
+++ b/test.zsh
@ -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