diff options
| author | Holger Levsen <holger@layer-acht.org> | 2016-01-08 13:44:04 +0100 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2016-01-08 13:44:04 +0100 |
| commit | d434a7621b66d9f48f179b2208256b73de8b163d (patch) | |
| tree | 60e6de06c31df0191d05370addba0abaa5516a17 | |
| parent | 915b688bbff47a4fb2523f158f50acfd420fafe0 (diff) | |
| download | jenkins.debian.net-d434a7621b66d9f48f179b2208256b73de8b163d.tar.xz | |
reproducible: ignore header from ps
| -rwxr-xr-x | bin/reproducible_maintenance.sh | 2 |
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 |