diff options
author | Johannes Ranke <jranke@uni-bremen.de> | 2017-10-02 17:39:25 +0200 |
---|---|---|
committer | Johannes Ranke <jranke@uni-bremen.de> | 2017-10-02 17:39:25 +0200 |
commit | 3f1738a3ba4b2ca2483d356f54fd2de7577c2ca7 (patch) | |
tree | 2f44029af46d6c242a9d9ca5f1d9b784636831aa /build | |
parent | 56157ad9495765d9982875d2e14ab2b29d17692c (diff) |
Don't tighten build dependency, fix fresh repos
Diffstat (limited to 'build')
-rwxr-xr-x | build | 13 |
1 files changed, 11 insertions, 2 deletions
@@ -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 |