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-07 00:06:00 +0200 |
commit | 8c115fb094539ca8f77d5d52865fa1e6158f1dc0 (patch) | |
tree | 32858da1b0f0e05a4d706aa6c1dee97849598919 /bin | |
parent | 2d8c687cfea3310b55c8fe7cf543760ad4564b7d (diff) | |
download | jenkins.debian.net-8c115fb094539ca8f77d5d52865fa1e6158f1dc0.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>" |