diff options
-rwxr-xr-x | bin/reproducible_build.sh | 4 | ||||
-rwxr-xr-x | bin/reproducible_common.sh | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/bin/reproducible_build.sh b/bin/reproducible_build.sh index 27ead7b5..f316a5c5 100755 --- a/bin/reproducible_build.sh +++ b/bin/reproducible_build.sh @@ -344,7 +344,7 @@ call_diffoscope_on_changes_files() { set +e set -x # remember to also modify the retry diffoscope call 15 lines below - ( timeout $TIMEOUT schroot \ + ( timeout $TIMEOUT nice schroot \ --directory $TMPDIR \ -c source:jenkins-reproducible-${DBDSUITE}-diffoscope \ -- sh -c "export TMPDIR=$TEMP ; diffoscope \ @@ -360,7 +360,7 @@ call_diffoscope_on_changes_files() { echo "$(date -u) - schroot jenkins-reproducible-${DBDSUITE}-diffoscope not available, will sleep 2min and retry." sleep 2m # remember to also modify the retry diffoscope call 15 lines above - ( timeout $TIMEOUT schroot \ + ( timeout $TIMEOUT nice schroot \ --directory $TMPDIR \ -c source:jenkins-reproducible-${DBDSUITE}-diffoscope \ -- sh -c "export TMPDIR=$TEMP ; diffoscope \ diff --git a/bin/reproducible_common.sh b/bin/reproducible_common.sh index 064a9303..6b1c54a8 100755 --- a/bin/reproducible_common.sh +++ b/bin/reproducible_common.sh @@ -506,7 +506,7 @@ call_diffoscope() { local msg="" set +e # remember to also modify the retry diffoscope call 15 lines below - ( timeout $TIMEOUT schroot \ + ( timeout $TIMEOUT nice schroot \ --directory $TMPDIR \ -c source:jenkins-reproducible-${DBDSUITE}-diffoscope \ diffoscope -- \ @@ -521,7 +521,7 @@ call_diffoscope() { echo "$(date -u) - schroot jenkins-reproducible-${DBDSUITE}-diffoscope not available, will sleep 2min and retry." sleep 2m # remember to also modify the retry diffoscope call 15 lines above - ( timeout $TIMEOUT schroot \ + ( timeout $TIMEOUT nice schroot \ --directory $TMPDIR \ -c source:jenkins-reproducible-${DBDSUITE}-diffoscope \ diffoscope -- \ |