7567: can't have the lock /opt/tools/sphinx_update.sh: 7567: unable to acquire Sphinx update lock for clang-tools-extra, waiting 10s. 7567: can't have the lock /opt/tools/sphinx_update.sh: 7567: still unable to acquire Sphinx update lock for clang-tools-extra, ignoring.