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