summaryrefslogtreecommitdiffstats
path: root/bin
diff options
context:
space:
mode:
Diffstat (limited to 'bin')
-rwxr-xr-xbin/reproducible_node_health_check.sh14
1 files changed, 14 insertions, 0 deletions
diff --git a/bin/reproducible_node_health_check.sh b/bin/reproducible_node_health_check.sh
index 1fc61fb8..cc87584f 100755
--- a/bin/reproducible_node_health_check.sh
+++ b/bin/reproducible_node_health_check.sh
@@ -152,6 +152,20 @@ if [ "$HOSTNAME" = "$MAINNODE" ] ; then
DIRTY=true
echo
fi
+ #
+ # /var/log/jenkins/jenkins.log sometimes grows very fast
+ # and we don't yet know why, so let's monitor this for now.
+ JENKINSLOG="find /var/log/jenkins -name jenkins.log -size +42G"
+ if [ -z "JENKINSLOG" ] ; then
+ echo "Warning, jenkins.log is larger than 42G, please fix, erroring out now."
+ exit 1
+ else
+ JENKINSLOG="find /var/log/jenkins -name jenkins.log -size +23G"
+ if [ -z "JENKINSLOG" ] ; then
+ echo "Warning, jenkins.log is larger than 23G, please do something…"
+ DIRTY=true
+ fi
+ fi
fi