1 /* uexit.c: define uexit to do an exit with the right status. We can't
2 just call `exit' from the web files, since the webs use `exit' as a
3 loop label. Public domain. */
5 #include <w2c/config.h>
13 final_code
= EXIT_SUCCESS
;
14 else if (unix_code
== 1)
15 final_code
= EXIT_FAILURE
;
17 final_code
= unix_code
;