1 files changed, 4 insertions, 3 deletions
diff --git a/misc/reboot.c b/misc/reboot.c
index 3b3c21f616..d0c28c966e 100644
--- a/misc/reboot.c
+++ b/misc/reboot.c
@@ -18,15 +18,16 @@
 #include <errno.h>
 #include <unistd.h>
 #include <sys/reboot.h>
+#include <libc-internal.h>
 
 /* Reboot the system.  */
 int
-reboot (howto)
-     int howto;
+reboot (int howto)
 {
+  ignore_value (howto);
+
   __set_errno (ENOSYS);
   return -1;
 }
 
-
 stub_warning (reboot)