From 1372d04b4362c1f2678e66dd5e64bb494cfea4c2 Mon Sep 17 00:00:00 2001 From: Alexander Medvednikov Date: Fri, 16 Aug 2019 17:03:56 +0300 Subject: [PATCH] Delete test.sh --- test.sh | 11 ----------- 1 file changed, 11 deletions(-) delete mode 100644 test.sh 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