diff options
| author | Martin Roth <martin@coreboot.org> | 2020-10-25 18:24:34 -0600 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2020-10-27 10:09:06 +0000 |
| commit | a266299490167a9c7f5f6f663a16a6af03678e3c (patch) | |
| tree | 0907b9d53199f61ad501e4d9e9cfe8f7eeb00e77 /src/include/random.h | |
| parent | 7d520ff98f45c357399cad18ed382c125edd3a32 (diff) | |
util/docker: Update agent-root to node-root for jenkins
Jenkins has changed the name of the build directory, so it's not
currently building out of memory, it's writing to the SSD. This
changes the build back to tmpfs.
Signed-off-by: Martin Roth <martin@coreboot.org>
Change-Id: Iefcf53757862feb2025aa5696f9f5dbce9dd70dd
Reviewed-on: https://review.coreboot.org/c/coreboot/+/46803
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
Diffstat (limited to 'src/include/random.h')
0 files changed, 0 insertions, 0 deletions