Ticket #3693: clarify that lack of noreturn attribute is on purpose

Signed-off-by: Yury V. Zaytsev <[email protected]>
xorshiftgit · Mar 4, 2017 · 151b08b · 151b08b
1 parent f09d863
commit 151b08b
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/lib/utilunix.c b/lib/utilunix.c
@@ -357,6 +357,7 @@ save_stop_handler (void)
  */
 
 void
+/* __attribute__ ((noreturn)) */
 my_exit (int status)
 {
     _exit (status);