restart: functions that call exit(3) should be marked noreturn

This commit is contained in:
Aaron Jones 2016-06-01 20:14:09 +00:00
parent e83991950f
commit 87a0418643
No known key found for this signature in database
GPG key ID: 6E854C0FAAD4CEA4

View file

@ -25,7 +25,7 @@
#ifndef INCLUDED_restart_h
#define INCLUDED_restart_h
void restart(const char *);
void server_reboot(void);
void restart(const char *) __attribute__((noreturn));
void server_reboot(void) __attribute__((noreturn));
#endif