diff options
author | Tristan Gingold <tgingold@free.fr> | 2017-08-19 05:05:31 +0200 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2017-08-19 05:05:31 +0200 |
commit | 0d72d5def31ba701bfce8750820bcd9bb9f4ad5c (patch) | |
tree | fdfe313b17f7110e987198beba3df25add3c0ced /testsuite/sanity/testsuite.sh | |
parent | e879d9691ac85c5334b2bf27e5fb35c755e2b879 (diff) | |
download | ghdl-0d72d5def31ba701bfce8750820bcd9bb9f4ad5c.tar.gz ghdl-0d72d5def31ba701bfce8750820bcd9bb9f4ad5c.tar.bz2 ghdl-0d72d5def31ba701bfce8750820bcd9bb9f4ad5c.zip |
Add sanity/ testsuite.
Diffstat (limited to 'testsuite/sanity/testsuite.sh')
-rwxr-xr-x | testsuite/sanity/testsuite.sh | 45 |
1 files changed, 45 insertions, 0 deletions
diff --git a/testsuite/sanity/testsuite.sh b/testsuite/sanity/testsuite.sh new file mode 100755 index 000000000..96150da88 --- /dev/null +++ b/testsuite/sanity/testsuite.sh @@ -0,0 +1,45 @@ +#! /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 |