diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/test_torbrowser-launcher.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/test_torbrowser-launcher.sh b/bin/test_torbrowser-launcher.sh index d77b9ab6..7e134d44 100755 --- a/bin/test_torbrowser-launcher.sh +++ b/bin/test_torbrowser-launcher.sh @@ -112,7 +112,7 @@ upgrade_to_package_build_from_git() { # GIT_URL is set by jenkins echo "$(date -u ) - building Debian package based on branch $BRANCH from $GIT_URL." # build package - if [ "$BRANCH" = "debian/jessie" ] ; then + if [ "$BRANCH" = "debian/jessie" ] || [ "$BRANCH" = "debian/jessie-proposed" ] ; then local UPSTREAM_TREE=v0.1.9 else local UPSTREAM_TREE=origin/master |