Delete test.sh

2019-08-16 17:03:56 +03:00 · 2019-08-16 17:03:56 +03:00 · 1372d04b43
parent b188ecf680
commit 1372d04b43
1 changed files with 0 additions and 11 deletions
--- a/test.sh
+++ b/test.sh
@ -1,11 +0,0 @@
-#!/bin/sh
-
-for f in `find . -type f -name '*_test.v'`; do
-        echo "Testing $f..."
-        v $f || echo "fail"
-done
-
-for f in `find examples -type f -name '*.v'`; do
-        echo "Building $f..."
-        v $f || echo "fail"
-done