diff options
Diffstat (limited to 'testsuite/gna/issue1817/testsuite.sh')
| -rwxr-xr-x | testsuite/gna/issue1817/testsuite.sh | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/testsuite/gna/issue1817/testsuite.sh b/testsuite/gna/issue1817/testsuite.sh index f376af1f3..0cd3a5fed 100755 --- a/testsuite/gna/issue1817/testsuite.sh +++ b/testsuite/gna/issue1817/testsuite.sh @@ -5,8 +5,6 @@ GHDL_STD_FLAGS=--std=08 if $GHDL --version | grep -q "GCC back-end code"; then - echo "GCC backend" - set -x is_gcc=true else is_gcc=false @@ -14,6 +12,7 @@ fi if [ "$is_gcc" = true ]; then GHDL_FLAGS="-fprofile-arcs -ftest-coverage -Wl,--coverage" + rm -f *.gcno fi analyze full_adder.vhdl @@ -22,7 +21,10 @@ analyze full_adder_tb.vhdl # Do not try to elaborate, libgcov may not be available if [ "$is_gcc" = true ]; then - ls -l + # The name of the gcno file is sometimes .gcno, sometimes .vhdl.gcno + # It is built on the -auxbase NAME option, which is not given by ghdl. + # The default is to remove the extension from the source file, but at + # most 4 characters are removed. test -f full_adder.gcno test -f full_adder_tb.gcno fi |