diff options
-rw-r--r-- | packaging-tools/build_wrapper.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/packaging-tools/build_wrapper.py b/packaging-tools/build_wrapper.py index efcf277e0..7d47977b4 100644 --- a/packaging-tools/build_wrapper.py +++ b/packaging-tools/build_wrapper.py @@ -346,6 +346,7 @@ def create_download_documentation_task(base_url, download_path): doc_base_url = base_url + "doc" useLocal = urlparse.urlparse(doc_base_url).scheme == "file" + print("doc_base_url: {} useLocal: {}".format(doc_base_url, useLocal)) if useLocal: file_list = os.listdir(doc_base_url[len("file:///"):]) else: |