Create test.sh

pull/1257/head
Alexander Medvednikov 2019-07-21 13:44:20 +02:00 committed by GitHub
parent a6e4720a4d
commit 385f1c856e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 11 additions and 0 deletions

11
test.sh 100644
View File

@ -0,0 +1,11 @@
#!/bin/zsh
for f in **/*_test.v ; do
echo "Testing $f..."
v $f || echo "fail"
done
for f in examples/*.v ; do
echo "Building $f..."
v $f || echo "fail"
done