diff options
Diffstat (limited to 'bin/reproducible_maintenance.sh')
| -rwxr-xr-x | bin/reproducible_maintenance.sh | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/bin/reproducible_maintenance.sh b/bin/reproducible_maintenance.sh index 1f775ecb..4ccb9e0d 100755 --- a/bin/reproducible_maintenance.sh +++ b/bin/reproducible_maintenance.sh @@ -97,6 +97,13 @@ if ! test -L /run/shm ; then elif [ "$(readlink /run/shm)" != "/dev/shm" ] ; then echo "Warning: /run/shm is a link, but not pointing to /dev/shm on $HOSTNAME, please tell the jenkins admins to fix this." show_fstab_and_mounts +# check for correct MTU +echo "$(date -u) - testing whether the network interfaces MTU is 1500..." +if [ "$(ip link | sed -n '/LOOPBACK\|NOARP/!s/.* mtu \([0-9]*\) .*/\1/p' | sort -u)" != "1500" ] ; then + ip link + echo "$(date -u) - network interfaces MTU != 1500 - this is wrong. => please \`sudo ifconfig eth0 mtu 1500\`" + irc_message debian-reproducible "$HOSTNAME has wrong MTU, please tell the jenkins admins to fix this. (sudo ifconfig eth0 mtu 1500)" + exit 1 fi echo "$(date -u) - updating the schroots and pbuilder now..." |