vm: Disable caching for writable file system mappings.
authorLudovic Courtès <ludo@gnu.org>
Mon, 31 Aug 2020 12:19:22 +0000 (14:19 +0200)
committerLudovic Courtès <ludo@gnu.org>
Mon, 31 Aug 2020 13:50:35 +0000 (15:50 +0200)
commit7eeb78157d3d0267ce4a4ea38ff56a2c4246c11b
treea090347bd890fc065bda73be90bd4abdeb2ae566
parent83ec969cc7170634872d4ff3ffc0d4099a6765a4
vm: Disable caching for writable file system mappings.

Fixes <https://bugs.gnu.org/43062>.
Reported by elaexuotee@wilsonb.com.

* gnu/system/vm.scm (mapping->file-system)[options]: Disable loose
caching when WRITABLE? is true.
gnu/system/vm.scm