diff --git a/test.sh b/test.sh deleted file mode 100644 index c81f646289..0000000000 --- a/test.sh +++ /dev/null @@ -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