22 lines
409 B
C
22 lines
409 B
C
#ifndef lint
|
|
static char rcsid[] = "$Id: version.c,v 1.2 1993/08/02 17:55:25 mycroft Exp $";
|
|
#endif /* not lint */
|
|
|
|
#include "EXTERN.h"
|
|
#include "common.h"
|
|
#include "util.h"
|
|
#include "INTERN.h"
|
|
#include "patchlevel.h"
|
|
#include "version.h"
|
|
|
|
void my_exit();
|
|
|
|
/* Print out the version number and die. */
|
|
|
|
void
|
|
version()
|
|
{
|
|
fprintf(stderr, "Patch version 2.0, patch level %s\n", PATCHLEVEL);
|
|
my_exit(0);
|
|
}
|