diff options
author | 1138-4EB <1138-4EB@users.noreply.github.com> | 2019-09-11 06:36:57 +0200 |
---|---|---|
committer | tgingold <tgingold@users.noreply.github.com> | 2019-09-11 06:36:57 +0200 |
commit | 89969411e5d6ecb5efd89172a9462a92878f093b (patch) | |
tree | bb937f71605f51f1e08c59aa4747ae19cf6fe783 /testsuite/sanity | |
parent | cb3468002497ab2090bef31d559e2eaf4747b90a (diff) | |
download | ghdl-89969411e5d6ecb5efd89172a9462a92878f093b.tar.gz ghdl-89969411e5d6ecb5efd89172a9462a92878f093b.tar.bz2 ghdl-89969411e5d6ecb5efd89172a9462a92878f093b.zip |
fix: skip testsuite/sanity/005examples when 'docs' not found (#921)
Diffstat (limited to 'testsuite/sanity')
-rwxr-xr-x | testsuite/sanity/005examples/testsuite.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/testsuite/sanity/005examples/testsuite.sh b/testsuite/sanity/005examples/testsuite.sh index 452c8bef6..c52b0c6a8 100755 --- a/testsuite/sanity/005examples/testsuite.sh +++ b/testsuite/sanity/005examples/testsuite.sh @@ -8,6 +8,12 @@ if ! python -V > /dev/null 2>&1; then exit 0 fi +# Skip the test if ../../../doc is not available. +if [ ! -d ../../../doc ]; then + echo "test skipped, '../../../doc' not found" + exit 0 +fi + # Extract examples python extract_vhdl.py hello.vhdl heartbeat.vhdl adder.vhdl adder_tb.vhdl < ../../../doc/using/QuickStartGuide.rst |