blob: 21f34ded35f1066777a30b492d1a74beb4e79113 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
/* uexit.c: define uexit to do an exit with the right status. We can't
just call `exit' from the web files, since the webs use `exit' as a
loop label. Public domain. */
#include "config.h"
void
uexit P1C(int, unix_code)
{
int final_code;
if (unix_code == 0)
final_code = EXIT_SUCCESS;
else if (unix_code == 1)
final_code = EXIT_FAILURE;
else
final_code = unix_code;
exit (final_code);
}
|