diff options
| author | Holger Levsen <holger@layer-acht.org> | 2017-05-26 23:27:53 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2017-05-26 23:27:53 +0200 |
| commit | a3b0ba495360ac94ef72482e971bfa5c704825a7 (patch) | |
| tree | ef1ab1ee71f5c0a2ec3198048e02740f03e15f6b | |
| parent | a4ac24518916db99a7344b2be0b2d80a5490a208 (diff) | |
| download | jenkins.debian.net-a3b0ba495360ac94ef72482e971bfa5c704825a7.tar.xz | |
reproducible Debian: add niceness variation (Closes: #863440)
Signed-off-by: Holger Levsen <holger@layer-acht.org>
| -rwxr-xr-x | bin/reproducible_build.sh | 2 | ||||
| -rwxr-xr-x | bin/reproducible_common.sh | 1 |
2 files changed, 2 insertions, 1 deletions
diff --git a/bin/reproducible_build.sh b/bin/reproducible_build.sh index 3442cd02..9018ceb6 100755 --- a/bin/reproducible_build.sh +++ b/bin/reproducible_build.sh @@ -701,7 +701,7 @@ EOF # remember to change the sudoers setting if you change the following command # (the 2nd build gets a longer timeout trying to make sure the first build # aint wasted when then 2nd happens on a highly loaded node) - sudo timeout -k 24.1h 24h /usr/bin/ionice -c 3 /usr/bin/nice \ + sudo timeout -k 24.1h 24h /usr/bin/ionice -c 3 /usr/bin/nice -n 12 \ /usr/bin/unshare --uts -- \ /usr/sbin/pbuilder --build \ --configfile $TMPCFG \ diff --git a/bin/reproducible_common.sh b/bin/reproducible_common.sh index 433b2976..9c93d3cf 100755 --- a/bin/reproducible_common.sh +++ b/bin/reproducible_common.sh @@ -404,6 +404,7 @@ write_variation_table() { write_page "<tr><td>env BUILDUSERNAME</td><td>BUILDUSERNAME=\"pbuilder1\"</td><td>BUILDUSERNAME=\"pbuilder2\"</td></tr>" write_page "<tr><td>env USER</td><td>USER=\"pbuilder1\"</td><td>USER=\"pbuilder2\"</td></tr>" write_page "<tr><td>env HOME</td><td>HOME=\"/nonexistent/first-build\"</td><td>HOME=\"/nonexistent/second-build\"</td></tr>" + write_page "<tr><td>niceness</td><td>10</td><td>12</td></tr>" write_page "<tr><td>uid</td><td>uid=1111</td><td>uid=2222</td></tr>" write_page "<tr><td>gid</td><td>gid=1111</td><td>gid=2222</td></tr>" write_page "<tr><td>/bin/sh</td><td>/bin/dash</td><td>/bin/bash</td></tr>" |