summaryrefslogtreecommitdiff
path: root/src/mainboard
diff options
context:
space:
mode:
authorMartin Roth <gaumless@gmail.com>2018-07-12 21:49:06 -0600
committerPatrick Georgi <pgeorgi@google.com>2018-07-17 11:38:55 +0000
commit30b7c31547d68d5a327dc8924b9cc928300224f3 (patch)
treefff2584508cc93e16f715a2f717ea766cf9dbe67 /src/mainboard
parent125506e6fba2ddb22def82234d72ad20e351f72c (diff)
downloadcoreboot-30b7c31547d68d5a327dc8924b9cc928300224f3.tar.xz
util/docker: Update coreboot-jenkins-node dockerfile
Because earlier versions of debian set /dev as a standard tmpfs filesystem, that was a simple place to build. Now, this has been changed and /dev isn't a standard tmpfs that will grow to 50% of memory. It's a fixed, very small size, and can no longer even be resized. Because of this, create a new directory to build in and add it to /etc/fstab. Mount it when the container is started. As long as we're at it, make the other build directories (ccache and slave-root/workspace) tmpfs as well. The builders we're using now have plenty of memory, so don't write any of the files to disk. Update the Makefile to get rid of all references to ccache directory. Change-Id: I21fd2c4395d7ffb9428172f035991338658cd907 Signed-off-by: Martin Roth <gaumless@gmail.com> Reviewed-on: https://review.coreboot.org/27470 Tested-by: build bot (Jenkins) <no-reply@coreboot.org> Reviewed-by: Patrick Georgi <pgeorgi@google.com>
Diffstat (limited to 'src/mainboard')
0 files changed, 0 insertions, 0 deletions