OSDN Git Service

build: address a new "noreturn" suggestion
authorJim Meyering <meyering@redhat.com>
Sat, 3 Dec 2011 14:24:35 +0000 (15:24 +0100)
committerJim Meyering <meyering@redhat.com>
Sat, 3 Dec 2011 14:43:41 +0000 (15:43 +0100)
* parted/ui.h (help_msg): Declare as __noreturn__.

parted/ui.h

index 15da2ee..23eb640 100644 (file)
@@ -77,7 +77,7 @@ extern int command_line_get_align_type (const char *prompt,
 extern int command_line_is_integer ();
 extern int command_line_is_sector ();
 
-extern void help_msg ();
+extern void help_msg () __attribute__((__noreturn__));
 
 extern void print_using_dev (PedDevice* dev);