Add /tmp to be tmpfs

This makes GCC tmp files not hit the filesystem

Change-Id: I873b646ec71177efb8a379fba2ed33bc307ce0af
Signed-off-by: Jan-Simon Möller <dl9pf@gmx.de>

diff --git a/jenkins-scripts/basic_settings.sh b/jenkins-scripts/basic_settings.sh
index c4def5e..cfb2b3d 100755 (executable)
--- 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 :