diff options
author | Ludovic Courtès <ludo@gnu.org> | 2019-04-14 17:03:34 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2019-04-14 17:42:08 +0200 |
commit | 66ec389580d4f1e4b81e1c72afe2749a547a0e7c (patch) | |
tree | d7d91e34570971da10c232b1cf6996baeb5c7f23 /bootstrap | |
parent | 307ec7324b85e6a56efab4569545a5fd268e7a2a (diff) | |
download | patches-66ec389580d4f1e4b81e1c72afe2749a547a0e7c.tar patches-66ec389580d4f1e4b81e1c72afe2749a547a0e7c.tar.gz |
vm: Do not mount /xchg with "cache=loose".
Fixes <https://bugs.gnu.org/33639>.
* gnu/system/vm.scm (%linux-vm-file-systems): Remove "cache=loose" for /xchg.
(system-docker-image): Remove 'sync' call, now unneeded, and which was
probably insufficient.
Diffstat (limited to 'bootstrap')
0 files changed, 0 insertions, 0 deletions