diff options
-rwxr-xr-x | bin/tinbuild2 | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bin/tinbuild2 b/bin/tinbuild2 index a13bc5b..6376b04 100755 --- a/bin/tinbuild2 +++ b/bin/tinbuild2 @@ -536,6 +536,7 @@ else libreoffice-3-6) TINDER_BRANCH=$B ;; libreoffice-4-0) TINDER_BRANCH=$B ;; libreoffice-4-1) TINDER_BRANCH=$B ;; + libreoffice-4-2) TINDER_BRANCH=$B ;; *) if [ "${MODE}" = "prime" -o "${MODE}" = "gerrit-patch" -o "${MODE?}" = "gerrit" ] ; then TINDER_BRANCH=$B |