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 0b91afb2e1
commit aa7b99eb77
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