🤖 Adapt makefile/scripts to ginkgo changes

This commit is contained in:
Ettore Di Giacinto
2021-12-31 21:01:40 +01:00
parent 1c1045ace1
commit f922d26d37
214 changed files with 10136 additions and 7936 deletions

View File

@@ -23,7 +23,7 @@ coveragetxt="coverage.txt"
generate_cover_data() {
ginkgo -flakeAttempts=3 -failFast -cover -r .
ginkgo --flake-attempts=3 --fail-fast -cover -r .
echo "" > ${coveragetxt}
find . -type f -name "*.coverprofile" | while read -r file; do cat "$file" >> ${coveragetxt} && mv "$file" "${coverdir}"; done
echo "mode: $covermode" >"$profile"