This commit is contained in:
rusefi 2020-06-16 18:25:41 -04:00
parent 74664a3e2c
commit 5a90d73ec0
3 changed files with 13 additions and 0 deletions

View File

@ -1,5 +1,10 @@
#!/bin/bash #!/bin/bash
#
# this one used by github actions
# this scripts replaces run_gcov.sh
#
rm -rf gcov_working_area rm -rf gcov_working_area
mkdir gcov_working_area mkdir gcov_working_area

View File

@ -1,4 +1,7 @@
echo TL,DR: gcov does NOT work on windows!
exit
rm -rf gcov_working_area rm -rf gcov_working_area
mkdir gcov_working_area mkdir gcov_working_area

View File

@ -1,5 +1,10 @@
#!/bin/bash #!/bin/bash
#
# this script is now replaced by ci_gcov.sh which is executed by Github actions
# this script is part of the legacy non-github jenkins which is no longer needed
#
rm -rf gcov_working_area rm -rf gcov_working_area
mkdir gcov_working_area mkdir gcov_working_area