From d434a7621b66d9f48f179b2208256b73de8b163d Mon Sep 17 00:00:00 2001 From: Holger Levsen Date: Fri, 8 Jan 2016 13:44:04 +0100 Subject: reproducible: ignore header from ps --- bin/reproducible_maintenance.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- cgit v1.2.3-70-g09d2