diff options
author | Ludovic Courtès <ludo@gnu.org> | 2019-04-13 17:31:36 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2019-04-14 17:42:08 +0200 |
commit | 307ec7324b85e6a56efab4569545a5fd268e7a2a (patch) | |
tree | c948212ed2e4ef0fd1677943e5c94c16176ba491 /gnu/system | |
parent | c9776d5beca07ba5419f9f6cb68d857290d64b9d (diff) | |
download | patches-307ec7324b85e6a56efab4569545a5fd268e7a2a.tar patches-307ec7324b85e6a56efab4569545a5fd268e7a2a.tar.gz |
tests: separate-store-os: Increase root partition size.
* gnu/tests/install.scm (%separate-store-installation-script): Increase
size of the root partition so that it's big enough to contain
downloaded nars and temporary files. Add 'df -h /mnt/gnu'.
Diffstat (limited to 'gnu/system')
0 files changed, 0 insertions, 0 deletions