diff options
Diffstat (limited to 'testsuite/gna/testsuite.sh')
| -rwxr-xr-x | testsuite/gna/testsuite.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/testsuite/gna/testsuite.sh b/testsuite/gna/testsuite.sh index 75f3c3a..3e486f9 100755 --- a/testsuite/gna/testsuite.sh +++ b/testsuite/gna/testsuite.sh @@ -9,10 +9,11 @@ # srXXX is for support reported on https://gna.org/support/?group=ghdl # debXX is for bugs report on http://bugs.debian.org/ # ticketXX is from https://sourceforge.net/p/ghdl-updates/tickets/ +# issueXXX is from https://github.com/tgingold/ghdl/issues set -e -dirs="bug* sr* deb* ticket*" +dirs="bug* sr* deb* ticket* issue*" failures="" full=n |