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 /.gitmodules | |
| parent | 2d2a2bacc0a6440305a487d223a076d3549ec674 (diff) | |
| download | patches-76bacc826422073a9a6546fb5383c9a0cd8e5dae.tar patches-76bacc826422073a9a6546fb5383c9a0cd8e5dae.tar.gz | |
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 '.gitmodules')
0 files changed, 0 insertions, 0 deletions