diff options
author | Martin Roth <gaumless@gmail.com> | 2018-07-12 21:49:06 -0600 |
---|---|---|
committer | Patrick Georgi <pgeorgi@google.com> | 2018-07-17 11:38:55 +0000 |
commit | 30b7c31547d68d5a327dc8924b9cc928300224f3 (patch) | |
tree | fff2584508cc93e16f715a2f717ea766cf9dbe67 /src/mainboard/google | |
parent | 125506e6fba2ddb22def82234d72ad20e351f72c (diff) |
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/google')
0 files changed, 0 insertions, 0 deletions