diff options
author | Holger Levsen <holger@layer-acht.org> | 2017-05-26 23:27:53 +0200 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2017-06-06 23:47:58 +0200 |
commit | c43b4f3e2d537a1e9c2ff510f071d233f202bc50 (patch) | |
tree | 07d5eb72a00786fc5de4757ec9c77c1aadefc589 /bin | |
parent | 5b52480cc876413f288b6aef463fd2a08f93ed9e (diff) | |
download | jenkins.debian.net-c43b4f3e2d537a1e9c2ff510f071d233f202bc50.tar.xz |
reproducible Debian: add niceness variation (Closes: #863440)
Signed-off-by: Holger Levsen <holger@layer-acht.org>
Diffstat (limited to 'bin')
-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 bce93b2b..928580f6 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 11 \ /usr/bin/unshare --uts -- \ /usr/sbin/pbuilder --build \ --configfile $TMPCFG \ diff --git a/bin/reproducible_common.sh b/bin/reproducible_common.sh index 2405aafa..7f0f4445 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>11</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>" |