summaryrefslogtreecommitdiff
path: root/build
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2017-10-02 17:39:25 +0200
committerJohannes Ranke <jranke@uni-bremen.de>2017-10-02 17:39:25 +0200
commit3f1738a3ba4b2ca2483d356f54fd2de7577c2ca7 (patch)
tree2f44029af46d6c242a9d9ca5f1d9b784636831aa /build
parent56157ad9495765d9982875d2e14ab2b29d17692c (diff)
Don't tighten build dependency, fix fresh repos
Diffstat (limited to 'build')
-rwxr-xr-xbuild13
1 files changed, 11 insertions, 2 deletions
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

Contact - Imprint