diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/reproducible_maintenance.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bin/reproducible_maintenance.sh b/bin/reproducible_maintenance.sh index 0c16062a..cf95adaf 100755 --- a/bin/reproducible_maintenance.sh +++ b/bin/reproducible_maintenance.sh @@ -97,6 +97,7 @@ 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 +fi # 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 |