diff options
Diffstat (limited to 'jenkins-scripts/basic_settings.sh')
| -rwxr-xr-x | jenkins-scripts/basic_settings.sh | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/jenkins-scripts/basic_settings.sh b/jenkins-scripts/basic_settings.sh index c65536f7..2b229199 100755 --- a/jenkins-scripts/basic_settings.sh +++ b/jenkins-scripts/basic_settings.sh @@ -50,12 +50,6 @@ cat <<EOKNOWN > /etc/ssh/ssh_known_hosts vex-yul-agl-download.ci,10.30.72.8 ecdsa-sha2-nistp256 AAAAE2VjZHNhLXNoYTItbmlzdHAyNTYAAAAIbmlzdHAyNTYAAABBBNaxEOWbShvqQWqS17c123Ct8tBLBVVOPTNYpZSmwd1UKVQi9cF0QMOU7Rc479bHwzuLscvmohpGh2kP0CmHvAo= EOKNOWN -cat <<EOFSTAB >> /etc/fstab - -# tmp should be tmpfs so gcc tmpfiles do not hit the disk -none /tmp tmpfs defaults 0 0 - -EOFSTAB cat <<EOFHOSTS >> /etc/hosts |