diff options
Diffstat (limited to 'hosts/jenkins')
| -rwxr-xr-x | hosts/jenkins/etc/rc.local | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/hosts/jenkins/etc/rc.local b/hosts/jenkins/etc/rc.local index 2a54a4c8..45688521 100755 --- a/hosts/jenkins/etc/rc.local +++ b/hosts/jenkins/etc/rc.local @@ -46,6 +46,7 @@ fixup_mtu() { ip link set dev eth0 mtu 1500 fi fi + ip link show eth0 } # |