diff options
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/build/file-systems.scm | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gnu/build/file-systems.scm b/gnu/build/file-systems.scm index 0d7ff99f17..15b8f73312 100644 --- a/gnu/build/file-systems.scm +++ b/gnu/build/file-systems.scm @@ -899,6 +899,10 @@ caught and lead to a warning and #f as the result." (format (current-error-port) "warning: failed to read from device '~a'~%" device) #f) + ((= EMEDIUMTYPE errno) ;inaccessible, like DRBD secondaries + (format (current-error-port) + "warning: failed to open device '~a'~%" device) + #f) (else (apply throw args)))))))) |