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_others | |
| 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_others')
0 files changed, 0 insertions, 0 deletions