diff options
| author | umarcor <unai.martinezcorral@ehu.eus> | 2021-01-18 01:44:49 +0100 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2021-01-18 07:27:44 +0100 |
| commit | e5e4f82e065abcfbfb466ca65f0adfff0c1080e4 (patch) | |
| tree | dcf0169097b5088d65bd593a531a42400d64496b /testsuite/sanity | |
| parent | eeb25ef2b348b672948ffdee6b9569f819c1886c (diff) | |
| download | ghdl-e5e4f82e065abcfbfb466ca65f0adfff0c1080e4.tar.gz ghdl-e5e4f82e065abcfbfb466ca65f0adfff0c1080e4.tar.bz2 ghdl-e5e4f82e065abcfbfb466ca65f0adfff0c1080e4.zip | |
testsuite: add suite_driver.sh
Diffstat (limited to 'testsuite/sanity')
| -rwxr-xr-x | testsuite/sanity/testsuite.sh | 42 |
1 files changed, 1 insertions, 41 deletions
diff --git a/testsuite/sanity/testsuite.sh b/testsuite/sanity/testsuite.sh index 96150da88..54d265d37 100755 --- a/testsuite/sanity/testsuite.sh +++ b/testsuite/sanity/testsuite.sh @@ -1,45 +1,5 @@ #! /bin/sh -# Driver for sanity checks - set -e -dirs="[0-9]*" - -failures="" -full=n - -for opt; do - case "$opt" in - -k | --keep-going) full=y ;; - --list-tests) echo $dirs; exit 0;; - *) echo "Unknown option $opt" - exit 2 - ;; - esac -done - -singlerun() { - echo "" - echo "sanity $1:" - cd $1 - if ! ./testsuite.sh; then - echo "#################################################################" - echo "######### FAILURE: $1" - echo "#################################################################" - if [ $2 = "y" ]; then - failures="$failures $1" - else - exit 1; - fi - fi - cd .. -} - -for i in $dirs; do singlerun $i $full; done - -if [ x"$failures" = x"" ]; then - echo "sanity tests are successful" && exit 0 -else - echo "sanity test failed ($failures)" && exit 1 -fi +`dirname $0`/../suite_driver.sh sanity $@ |