diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2014-11-30 17:50:07 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2014-11-30 18:54:07 +0100 |
| commit | 9cb426b8bf91830c2df76f9285ed98f45265ecc4 (patch) | |
| tree | 4eabf81a559618340828c3842ff6c3670a66d7f9 /gnu/system | |
| parent | 1c65314c60405333dde009d8c8d2e37a0a465b6f (diff) | |
| download | patches-9cb426b8bf91830c2df76f9285ed98f45265ecc4.tar patches-9cb426b8bf91830c2df76f9285ed98f45265ecc4.tar.gz | |
Revert "system: Add a 'needed-for-boot?' field to 'mapped-device'."
This reverts commit 3b09332adf7ce8e976a4d117a62c586a53af04aa, which
turned out to be a bad idea because we need to have dependency
information between the device-mapping service and the file-system
service that uses it.
Diffstat (limited to 'gnu/system')
| -rw-r--r-- | gnu/system/file-systems.scm | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/gnu/system/file-systems.scm b/gnu/system/file-systems.scm index 356b4826b4..4760821840 100644 --- a/gnu/system/file-systems.scm +++ b/gnu/system/file-systems.scm @@ -45,7 +45,6 @@ mapped-device-source mapped-device-target mapped-device-type - mapped-device-needed-for-boot? mapped-device-kind mapped-device-kind? @@ -158,9 +157,7 @@ file system." mapped-device? (source mapped-device-source) ;string (target mapped-device-target) ;string - (type mapped-device-type) ;<mapped-device-kind> - (needed-for-boot? mapped-device-needed-for-boot? ;Boolean - (default #f))) + (type mapped-device-type)) ;<mapped-device-kind> (define-record-type* <mapped-device-type> mapped-device-kind make-mapped-device-kind |