diff options
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 |