| changeset 2 | b3afb9f1e801 |
| parent 0 | 6f7a81934006 |
| 1:30113bfbe723 | 2:b3afb9f1e801 |
|---|---|
3 ** distribution information. |
3 ** distribution information. |
4 */ |
4 */ |
5 |
5 |
6 #include <stdlib.h> |
6 #include <stdlib.h> |
7 |
7 |
8 static const char rcsid[]="$Id: authexit.c,v 1.1 2000/04/13 17:55:05 bruce Exp $"; |
8 static const char rcsid[]="$Id: authexit.c,v 1.2 2000/12/18 20:20:10 bruce Exp $"; |
9 |
9 |
10 void authexit(int rc) |
10 void authexit(int rc) |
11 { |
11 { |
12 exit(rc); |
12 exit(rc); |
13 } |
13 } |