diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2014-11-26 11:54:21 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2014-11-26 11:54:21 +0100 |
| commit | 76bacc826422073a9a6546fb5383c9a0cd8e5dae (patch) | |
| tree | b19ea80eef5b4699450cf505caad4c72becec011 /gnu/build | |
| parent | 2d2a2bacc0a6440305a487d223a076d3549ec674 (diff) | |
linux-boot: Error out when 'pre-mount' returns #f.
* gnu/build/linux-boot.scm (boot-system): Call 'error' when PRE-MOUNT
returns #f.
Diffstat (limited to 'gnu/build')
| -rw-r--r-- | gnu/build/linux-boot.scm | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/gnu/build/linux-boot.scm b/gnu/build/linux-boot.scm index ea1971ff9c..fa6f417907 100644 --- a/gnu/build/linux-boot.scm +++ b/gnu/build/linux-boot.scm @@ -400,8 +400,9 @@ to it are lost." (when (procedure? pre-mount) ;; Do whatever actions are needed before mounting--e.g., installing - ;; device mappings. - (pre-mount)) + ;; device mappings. Error out when the return value is false. + (unless (pre-mount) + (error "pre-mount actions failed"))) ;; Mount the specified file systems. (for-each mount-file-system |