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 | |
| 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')
| -rwxr-xr-x | testsuite/gna/testsuite.sh | 4 | ||||
| -rw-r--r-- | testsuite/testenv.sh | 1 |
2 files changed, 4 insertions, 1 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 ;; diff --git a/testsuite/testenv.sh b/testsuite/testenv.sh index e77fbc4bd..5e8478195 100644 --- a/testsuite/testenv.sh +++ b/testsuite/testenv.sh @@ -17,7 +17,6 @@ #GHDL=ghdl RM=rm LN=ln -GET_ENTITIES=../get_entities # Exit in case of failure in shell scripts. set -e |