summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xbin/reproducible_maintainance.sh3
1 files changed, 2 insertions, 1 deletions
diff --git a/bin/reproducible_maintainance.sh b/bin/reproducible_maintainance.sh
index d0026e40..84624bb6 100755
--- a/bin/reproducible_maintainance.sh
+++ b/bin/reproducible_maintainance.sh
@@ -125,7 +125,8 @@ if [ -s $RESULT ] ; then
echo
for PROCESS in $(cat $RESULT | cut -d " " -f1 | xargs echo) ; do
AGE=$(ps -p $PROCESS -o etimes= || echo 0)
- if [ $AGE -gt 86400 ] ; then
+ # a single build may only take half a day, so...
+ if [ $AGE -gt 43200 ] ; then
sudo kill -9 $PROCESS 2>&1
echo "'kill -9 $PROCESS' done."
else