diff options
author | Tristan Gingold <tgingold@free.fr> | 2014-02-01 04:43:41 +0100 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2014-02-01 04:43:41 +0100 |
commit | 1df58ba6e882f71a7c5d1a0ec6fcfba01cd02cb9 (patch) | |
tree | 44b46c077a2236c273952e9fcc0a7f8a4545ed85 /testsuite/gna/testsuite.sh | |
parent | 65f7250d7f0ddbf916758acd1a91d313e57ca0f1 (diff) | |
download | ghdl-1df58ba6e882f71a7c5d1a0ec6fcfba01cd02cb9.tar.gz ghdl-1df58ba6e882f71a7c5d1a0ec6fcfba01cd02cb9.tar.bz2 ghdl-1df58ba6e882f71a7c5d1a0ec6fcfba01cd02cb9.zip |
Add ticket9 test.
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 48a322f1b..f4240a058 100755 --- a/testsuite/gna/testsuite.sh +++ b/testsuite/gna/testsuite.sh @@ -7,10 +7,11 @@ # bugXXX is for bugs reported on https://gna.org/bugs/?group=ghdl # 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/ set -e -dirs="bug* sr* deb*" +dirs="bug* sr* deb* ticket*" failures="" full=n |