diff options
Diffstat (limited to 'jjb/scripts/vpp/make-test-docs.sh')
| -rwxr-xr-x | jjb/scripts/vpp/make-test-docs.sh | 32 |
1 files changed, 0 insertions, 32 deletions
diff --git a/jjb/scripts/vpp/make-test-docs.sh b/jjb/scripts/vpp/make-test-docs.sh deleted file mode 100755 index 0c6e2156d..000000000 --- a/jjb/scripts/vpp/make-test-docs.sh +++ /dev/null @@ -1,32 +0,0 @@ -#!/bin/bash - -# Copyright (c) 2021 Cisco and/or its affiliates. -# Licensed under the Apache License, Version 2.0 (the "License"); -# you may not use this file except in compliance with the License. -# You may obtain a copy of the License at: -# -# http://www.apache.org/licenses/LICENSE-2.0 -# -# Unless required by applicable law or agreed to in writing, software -# distributed under the License is distributed on an "AS IS" BASIS, -# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. -# See the License for the specific language governing permissions and -# limitations under the License. - -echo "---> jjb/scripts/vpp/make-test-docs.sh" - -set -euxo pipefail - -# TODO: Remove this file when stable/2106 and stable/2110 are no longer -# supported as 'make test-doc' is deprecated in master (VPP 22.02) - -line="*************************************************************************" -# Don't build anything if this is a merge job being run when -# the git HEAD id is not the same as the Gerrit New Revision id. -if [[ ${JOB_NAME} == *merge* ]] && [ -n "${GERRIT_NEWREV:-}" ] && - [ "$GERRIT_NEWREV" != "$GIT_COMMIT" ] ; then - echo -e "\n$line\nSkipping 'make test' docs build. A newer patch has been merged.\n$line\n" - exit 0 -fi - -make test-doc |