From 8caf98a00bc712bfc78dc29000fbadad208341fe Mon Sep 17 00:00:00 2001
From: Hans-Christoph Steiner <hans@eds.org>
Date: Tue, 3 Jan 2017 22:23:38 +0100
Subject: [PATCH] buildserver: install gettext from jessie-backports

In order to install a package from jessie-backports, apt-get has to be told
to get it from there rather than the main archive.  It will not use
jessie-backports by default even if it is added as an apt source.

closes #224
---
 buildserver/provision-apt-get-install | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/buildserver/provision-apt-get-install b/buildserver/provision-apt-get-install
index f36d5c7a..8f2a9b58 100644
--- a/buildserver/provision-apt-get-install
+++ b/buildserver/provision-apt-get-install
@@ -40,7 +40,8 @@ packages="
  expect
  faketime
  flex
- gettext
+ gettext/jessie-backports
+ gettext-base/jessie-backports
  git-core
  git-svn
  gperf