diff --git a/tests/test.sh b/tests/test.sh index e30d265..3ede3ed 100755 --- a/tests/test.sh +++ b/tests/test.sh @@ -5,7 +5,7 @@ set -e TEST_DIR=$(dirname $0) SRC_DIR=$TEST_DIR/../src -TEST_SRC=$(fd '\.ethlang' $TEST_DIR) +TEST_SRC=$(find $TEST_DIR -name '*.ethlang') count_total=0 count_succeeded=0