diff options
author | Paul Vinciguerra <pvinci@vinciconsulting.com> | 2020-03-10 20:14:01 -0400 |
---|---|---|
committer | Paul Vinciguerra <pvinci@vinciconsulting.com> | 2020-03-10 20:14:01 -0400 |
commit | b81e5c92687238d60331dd11e9b079657b2aa5bc (patch) | |
tree | b940bc8f4767c19b4ac5733a19c01db065c0054d | |
parent | 9968d10fd9aa0c68f1f8d5f7732a615015be41b5 (diff) |
fix vpp-sphinx-docs-verify-master job failure
Job is failing because it is asking to install newer packages.
Do you want to continue? [Y/n] Abort.
Makefile:31: recipe for target 'html' failed
make[1]: *** [html] Error 1
make[1]: Leaving directory '/w/workspace/vpp-sphinx-docs-verify-master/docs'
Change-Id: Iab11cded2fef85a78686fae6b7e19845c33418f7
Signed-off-by: Paul Vinciguerra <pvinci@vinciconsulting.com>
-rw-r--r-- | jjb/scripts/vpp/sphinx-docs.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/jjb/scripts/vpp/sphinx-docs.sh b/jjb/scripts/vpp/sphinx-docs.sh index e5b8cfd15..db2b6bcda 100644 --- a/jjb/scripts/vpp/sphinx-docs.sh +++ b/jjb/scripts/vpp/sphinx-docs.sh @@ -10,7 +10,7 @@ set -xe -o pipefail [ "$VERSION" ] || VERSION=$(./build-root/scripts/version rpm-version) make docs-venv -make docs +UNATTENDED=y make docs if [[ ${JOB_NAME} == *merge* ]]; then mkdir -p $(dirname ${RESOURCES_DIR}) |