diff --git a/test_coverage.sh b/test_coverage.sh old mode 100755 new mode 100644 index e2ffeb25..fe8733f7 --- a/test_coverage.sh +++ b/test_coverage.sh @@ -170,6 +170,7 @@ if [ ! "$status" = 0 ]; then fi echo "server: $srvpid" cat >contrib/etc/ebusd/test.csv <