1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
/*******************************************************************************
* *
* Viewmol *
* *
* E O F . C *
* *
* Copyright (c) Joerg-R. Hill, December 2000 *
* *
********************************************************************************
*
* $Id: eof.c,v 1.3 2000/12/10 15:06:50 jrh Exp $
* $Log: eof.c,v $
* Revision 1.3 2000/12/10 15:06:50 jrh
* Release 2.3
*
* Revision 1.2 1999/05/24 01:25:22 jrh
* Release 2.2.1
*
* Revision 1.1 1999/02/07 21:48:36 jrh
* Initial revision
*
*/
#include<stdio.h>
void eof(char *type, char *file, int terminate)
{
printf("$error %s %d %s\n", type, terminate, file);
printf("$end\n");
exit(0);
}
|
