diff options
| author |   Peter Mikus <pmikus@cisco.com> | 2019-08-13 10:10:50 +0000 |
|---|---|---|
| committer |   Vratko Polak <vrpolak@cisco.com> | 2019-08-15 10:20:31 +0000 |
| commit | 660e18c08e0aef112d8bfa0dd6607ba307687c1e (patch) | |
| tree | 820842e3233238b1b868ebb592e8685ae17b5b59 /resources/libraries/bash/function/common.sh | |
| parent | e6dd772435e4736170aaa43a779840196e714254 (diff) | |
TOX: DOC verify
Signed-off-by: Peter Mikus <pmikus@cisco.com>
Change-Id: Ifa4de8e60742f5c4cf4c2f377692313e23f9983b
Diffstat (limited to 'resources/libraries/bash/function/common.sh')
| -rw-r--r-- | resources/libraries/bash/function/common.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/resources/libraries/bash/function/common.sh b/resources/libraries/bash/function/common.sh index 13976aed13..4352724924 100644 --- a/resources/libraries/bash/function/common.sh +++ b/resources/libraries/bash/function/common.sh @@ -239,6 +239,9 @@ function common_dirs () { TOOLS_DIR=$(readlink -e "${RESOURCES_DIR}/tools") || { die "Readlink failed." } + DOC_GEN_DIR=$(readlink -e "${TOOLS_DIR}/doc_gen") || { + die "Readlink failed." + } PYTHON_SCRIPTS_DIR=$(readlink -e "${TOOLS_DIR}/scripts") || { die "Readlink failed." } |