diff options
| author | Tristan Gingold <tgingold@free.fr> | 2017-08-18 05:58:57 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2017-08-18 05:58:57 +0200 |
| commit | 31625e5b2a1df033a43949c9bb59ca71194fb2af (patch) | |
| tree | c94a5b9a18586a0c11b1ebb5d4fae4c41aa00dd8 /testsuite/gna/testsuite.sh | |
| parent | 1c2368f23c47baf365679a6b18bd1a900f80c130 (diff) | |
| download | ghdl-31625e5b2a1df033a43949c9bb59ca71194fb2af.tar.gz ghdl-31625e5b2a1df033a43949c9bb59ca71194fb2af.tar.bz2 ghdl-31625e5b2a1df033a43949c9bb59ca71194fb2af.zip | |
travis-ci: don't disp gna log
Diffstat (limited to 'testsuite/gna/testsuite.sh')
| -rwxr-xr-x | testsuite/gna/testsuite.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/testsuite/gna/testsuite.sh b/testsuite/gna/testsuite.sh index 7e39e8f04..160becdd5 100755 --- a/testsuite/gna/testsuite.sh +++ b/testsuite/gna/testsuite.sh @@ -13,7 +13,10 @@ set -e +# This is the only place where test dirs are specified. Do not duplicate this +# line dirs="bug* sr* deb* ticket* issue*" + failures="" full=n @@ -26,6 +29,7 @@ for opt; do --start-at=*) d=`echo $opt | sed -e 's/--start-at=//'` dirs=`echo "" $dirs | sed -e "s/^.* $d//"` dirs="$d $dirs" ;; + --list-tests) echo $dirs; exit 0;; *) echo "Unknown option $opt" exit 2 ;; |