From 89969411e5d6ecb5efd89172a9462a92878f093b Mon Sep 17 00:00:00 2001
From: 1138-4EB <1138-4EB@users.noreply.github.com>
Date: Wed, 11 Sep 2019 06:36:57 +0200
Subject: fix: skip testsuite/sanity/005examples when 'docs' not found (#921)

---
 testsuite/sanity/005examples/testsuite.sh | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'testsuite/sanity/005examples/testsuite.sh')

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
 
-- 
cgit v1.2.3