summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xbin/reproducible_maintenance.sh14
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