diff options
| author | Sam James <sam@gentoo.org> | 2023-01-25 04:00:50 +0000 |
|---|---|---|
| committer | Mike Frysinger <vapier@gentoo.org> | 2023-01-25 00:51:13 -0500 |
| commit | bcae7d03b47e0697eda6992667b8053e3484c8ff (patch) | |
| tree | 821a9360c90a02c558914341e4843462dc91fde4 /src | |
| parent | ccc2b7114502b8cdf8add4fc2628f17f0e6df950 (diff) | |
openrc: mark handle_bad_signal as noreturn
For -Wmissing-noreturn.
Diffstat (limited to 'src')
| -rw-r--r-- | src/openrc/rc.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/openrc/rc.c b/src/openrc/rc.c index 941a3d2c..183663d0 100644 --- a/src/openrc/rc.c +++ b/src/openrc/rc.c @@ -695,7 +695,7 @@ do_start_services(const RC_STRINGLIST *start_services, bool parallel) } #ifdef RC_DEBUG -static void +_noreturn static void handle_bad_signal(int sig) { char pid[10]; |