diff options
author | David Thompson <dthompson2@worcester.edu> | 2015-08-01 13:43:33 -0400 |
---|---|---|
committer | David Thompson <dthompson2@worcester.edu> | 2015-08-08 14:04:00 -0400 |
commit | 8c812f2aeeed8398a27f1594c20914031d97db58 (patch) | |
tree | 4ba54eb9e3120a5220df0d177adac9ac6a041680 /AUTHORS | |
parent | 014cbde612f89bc9101e6932f64113415230e9f9 (diff) | |
download | patches-8c812f2aeeed8398a27f1594c20914031d97db58.tar patches-8c812f2aeeed8398a27f1594c20914031d97db58.tar.gz |
build: file-systems: Allow for bind mounting regular files.
* gnu/build/file-systems.scm (regular-file?): New procedure.
(mount-file-system): Create a regular file instead of a directory when bind
mounting a regular file.
Diffstat (limited to 'AUTHORS')
0 files changed, 0 insertions, 0 deletions