diff options
| author | Wolfram Schneider <wosch@FreeBSD.org> | 2017-10-07 09:05:37 +0000 |
|---|---|---|
| committer | Wolfram Schneider <wosch@FreeBSD.org> | 2017-10-07 09:05:37 +0000 |
| commit | 9d3d99045e54236facb3293f10e0e5e3470da118 (patch) | |
| tree | ef0e294656174d61d5dde0755e78ae6d09405e76 | |
| parent | 9c93d11e18bb4d9d0cd401006b8a7b27d56a50ad (diff) | |
enable to configure git branch
Notes
svn path=/head/; revision=51071
| -rwxr-xr-x | share/tools/webupdate-regression | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/share/tools/webupdate-regression b/share/tools/webupdate-regression index dc47d341ba..7f6e9242f4 100755 --- a/share/tools/webupdate-regression +++ b/share/tools/webupdate-regression @@ -35,6 +35,7 @@ set -e : ${NO_OBJ=YES} : ${make_opt=-j8} : ${GIT_REPO_FREEBSD_DOC="$HOME/freebsd-doc"} +: ${FREEBSD_DOC_GIT_BRANCH=""} : ${WEBUPDATE_FORMATS="html-split html"} : ${WEBUPDATE_RUN_CLEAN=YES} : ${WEBUPDATE_LEVEL="3"} @@ -69,6 +70,10 @@ checkout () echo "git clone from $GIT_REPO_FREEBSD_DOC -> doc" git clone -q $GIT_REPO_FREEBSD_DOC doc cd doc + if [ "$FREEBSD_DOC_GIT_BRANCH" != "" ]; then + echo "switch to branch $FREEBSD_DOC_GIT_BRANCH" + git checkout $FREEBSD_DOC_GIT_BRANCH + fi echo "branch: $(git branch)" echo "cwd: $(pwd)" |