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 /init-guide.md | |
| parent | ccc2b7114502b8cdf8add4fc2628f17f0e6df950 (diff) | |
openrc: mark handle_bad_signal as noreturn
For -Wmissing-noreturn.
Diffstat (limited to 'init-guide.md')
0 files changed, 0 insertions, 0 deletions