diff options
Diffstat (limited to 'jenkins-scripts/basic_settings.sh')
| -rwxr-xr-x | jenkins-scripts/basic_settings.sh | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/jenkins-scripts/basic_settings.sh b/jenkins-scripts/basic_settings.sh index c4def5e9..cfb2b3dd 100755 --- a/jenkins-scripts/basic_settings.sh +++ b/jenkins-scripts/basic_settings.sh @@ -50,4 +50,11 @@ 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 + # vim: sw=2 ts=2 sts=2 et : |