mount: mark die() as nonreturn

Signed-off-by: Karel Zak <kzak@redhat.com>

diff --git a/mount/sundries.c b/mount/sundries.c
index 98f46949e0b65f2e2845e8a64a664f798b2ec954..4cf308992879fa79d85f43b3b771a8f38a3b5228 100644 (file)
--- a/mount/sundries.c
+++ b/mount/sundries.c
@@ -115,7 +115,7 @@ error (const char *fmt, ...) {
 }
 
 /* Fatal error.  Print message and exit.  */
-void
+ __attribute__ ((noreturn)) void
 die(int err, const char *fmt, ...) {
        va_list args;