From: Vladimir 'phcoder' Serbinenko <phcoder@gmail.com>
Date: Mon, 30 Aug 2010 14:25:39 +0000 (+0200)
Subject: Add missing noreturn
X-Git-Tag: 1.99~619^2~2
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b0ea3a5a93c3ec4eaef2b4bd5fb3126b5b0cae1c;p=thirdparty%2Fgrub.git

Add missing noreturn
---

diff --git a/include/grub/misc.h b/include/grub/misc.h
index c516b3dc2..774dc5843 100644
--- a/include/grub/misc.h
+++ b/include/grub/misc.h
@@ -321,9 +321,9 @@ void EXPORT_FUNC (grub_reboot) (void) __attribute__ ((noreturn));
 #ifdef GRUB_MACHINE_PCBIOS
 /* Halt the system, using APM if possible. If NO_APM is true, don't
  * use APM even if it is available.  */
-void grub_halt (int no_apm);
+void grub_halt (int no_apm) __attribute__ ((noreturn));
 #else
-void grub_halt (void);
+void grub_halt (void) __attribute__ ((noreturn));
 #endif
 
 #ifdef GRUB_MACHINE_EMU