diff options
author | Johannes Ranke <jranke@uni-bremen.de> | 2019-04-29 09:29:14 +0200 |
---|---|---|
committer | Johannes Ranke <jranke@uni-bremen.de> | 2019-04-29 09:29:14 +0200 |
commit | 4ae71bbfbcfedeb0b376255266004b6e1ab259a7 (patch) | |
tree | 948c296086c6a98e3bbb3b50a80bbd09262626a6 /build | |
parent | b58740b0fa96aa46d692077f42295857148230d0 (diff) |
Discontinue jessie, support buster
Diffstat (limited to 'build')
-rwxr-xr-x | build | 14 |
1 files changed, 3 insertions, 11 deletions
@@ -54,17 +54,9 @@ then apt-get upgrade fi -# 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 - +# stretch needs --only-source (at least for rkward source packages) +apt --only-source build-dep $pkg +apt --only-source source $pkg # Move sources to $DIST directory to enable parallel builds mkdir -p $DIST |