summaryrefslogtreecommitdiffstats
path: root/bin
diff options
context:
space:
mode:
authorHolger Levsen <holger@layer-acht.org>2016-01-08 13:44:04 +0100
committerHolger Levsen <holger@layer-acht.org>2016-01-08 13:44:04 +0100
commitd434a7621b66d9f48f179b2208256b73de8b163d (patch)
tree60e6de06c31df0191d05370addba0abaa5516a17 /bin
parent915b688bbff47a4fb2523f158f50acfd420fafe0 (diff)
downloadjenkins.debian.net-d434a7621b66d9f48f179b2208256b73de8b163d.tar.xz
reproducible: ignore header from ps
Diffstat (limited to 'bin')
-rwxr-xr-xbin/reproducible_maintenance.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/reproducible_maintenance.sh b/bin/reproducible_maintenance.sh
index 851384be..d6ec25f8 100755
--- a/bin/reproducible_maintenance.sh
+++ b/bin/reproducible_maintenance.sh
@@ -280,7 +280,7 @@ for i in $PBUIDS ; do
done
done
if [ -s $RESULT ] ; then
- for PROCESS in $(cat $RESULT | cut -d " " -f1 | xargs echo) ; do
+ for PROCESS in $(cat $RESULT | cut -d " " -f1 | grep -v ^UID | xargs echo) ; do
AGE=$(ps -p $PROCESS -o etimes= || echo 0)
# a single build may only take half a day, so...
if [ $AGE -gt $(( 12*60*60 )) ] ; then