diff options
author | Johannes Ranke <jranke@uni-bremen.de> | 2017-12-07 07:28:19 +0100 |
---|---|---|
committer | Johannes Ranke <jranke@uni-bremen.de> | 2017-12-07 07:28:19 +0100 |
commit | 02d987a6aa15284e4f79cc6296abcd67aa65879c (patch) | |
tree | 8bb7a3d3d5e078878f21f037703ddb664c376339 /build | |
parent | 0a36a831a9c673804a2f71c0b028b4a1fc5b68e9 (diff) |
Generate logs, switch to debuild
Diffstat (limited to 'build')
-rwxr-xr-x | build | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -65,6 +65,7 @@ if [ $DIST == "stretch" ]; then apt --only-source source $pkg fi + # Move sources to $DIST directory to enable parallel builds mkdir -p $DIST mv $pkg\_* $DIST @@ -72,7 +73,7 @@ mv $pkg-* $DIST cd $DIST/$pkg-* -dpkg-buildpackage -B +debuild --no-lintian -ui -uc -us -B cd ../.. |