From 88600acc939365b4ffd45a8be74117a8cf8dc3dd Mon Sep 17 00:00:00 2001
From: Ludovic Courtès <ludo@gnu.org>
Date: Sun, 23 Sep 2018 22:10:50 +0200
Subject: system: Mention '--skip-checks' in initrd diagnostics.

* gnu/system/mapped-devices.scm (check-device-initrd-modules): Add note
about '--skip-checks'.
---
 gnu/system/mapped-devices.scm | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'gnu/system')

diff --git a/gnu/system/mapped-devices.scm b/gnu/system/mapped-devices.scm
index af73dc608c..a874666463 100644
--- a/gnu/system/mapped-devices.scm
+++ b/gnu/system/mapped-devices.scm
@@ -157,7 +157,10 @@ (define aliases
    ;; @dots{}
    (initrd-modules (append (list~{ ~s~})
                            %base-initrd-modules)))
-@end example\n")
+@end example
+
+If you think this diagnostic is inaccurate, use the @option{--skip-checks}
+option of @command{guix system}.\n")
                                missing)))
                 (&error-location
                  (location (source-properties->location location)))))))))
-- 
cgit v1.2.3