diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2017-09-20 16:59:41 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2017-09-20 16:59:41 +0200 |
| commit | 56157ad9495765d9982875d2e14ab2b29d17692c (patch) | |
| tree | 620fcd555f4ca464e036dea5c48b25e30bed95ca /build | |
| parent | d2670e5e4f2edbb46bb5f0e185cf3cb3ee7e0648 (diff) | |
Make the build script work for rkward
It seems that apt-get build-dep and apt-get source have problems with
source packages that have a .debian.xz instead of a .diff.gz. Maybe
this is related to https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=607999
Diffstat (limited to 'build')
| -rwxr-xr-x | build | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -53,8 +53,8 @@ then apt-get update apt-get upgrade fi -apt-get build-dep $pkg -apt-get source $pkg +apt --only-source build-dep $pkg +apt --only-source source $pkg # Move sources to $DIST directory to enable parallel builds mkdir -p $DIST |