From 3f1738a3ba4b2ca2483d356f54fd2de7577c2ca7 Mon Sep 17 00:00:00 2001
From: Johannes Ranke <jranke@uni-bremen.de>
Date: Mon, 2 Oct 2017 17:39:25 +0200
Subject: Don't tighten build dependency, fix fresh repos

---
 build | 13 +++++++++++--
 1 file changed, 11 insertions(+), 2 deletions(-)

(limited to 'build')

diff --git a/build b/build
index ee53ec8..222d9ed 100755
--- a/build
+++ b/build
@@ -53,8 +53,17 @@ then
   apt-get update
   apt-get upgrade
 fi
-apt --only-source build-dep $pkg
-apt --only-source source $pkg
+
+# stretch needs --only-source (at least for rkward source packages), jessie 
+# does not know this argument
+if [ $DIST == "jessie" ]; then
+  apt-get build-dep $pkg
+  apt-get source $pkg
+fi
+if [ $DIST == "stretch" ]; then
+  apt --only-source build-dep $pkg
+  apt --only-source source $pkg
+fi
 
 # Move sources to $DIST directory to enable parallel builds
 mkdir -p $DIST
-- 
cgit v1.2.1