diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/reproducible_maintenance.sh | 14 |
1 files changed, 8 insertions, 6 deletions
diff --git a/bin/reproducible_maintenance.sh b/bin/reproducible_maintenance.sh index a8973757..1c2076ab 100755 --- a/bin/reproducible_maintenance.sh +++ b/bin/reproducible_maintenance.sh @@ -423,12 +423,14 @@ if [ ! -z "$PSCALL" ] ; then fi # find builds which should not be there -RESULTS=$(pgrep -f reproducible_build.sh --parent 1 || true) -if [ ! -z "$RESULTS" ] ; then - DIRTY=true - echo "Warning: found reproducible_build.sh processes which have pid 1 as parent (and not sshd), thus something went wrong… please investigate." - echo -e "$RESULTS" - +# (not on i386 as we start builds differently here… work in progress) +if [ "$ARCH" != "i386" ] ; then + RESULTS=$(pgrep -f reproducible_build.sh --parent 1 || true) + if [ ! -z "$RESULTS" ] ; then + DIRTY=true + echo "Warning: found reproducible_build.sh processes which have pid 1 as parent (and not sshd), thus something went wrong… please investigate." + echo -e "$RESULTS" + fi fi # remove artifacts older than a day |