#ifndef lint static char rcsid[] = "$Id: version.c,v 1.1 1995/10/18 08:45:56 deraadt 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); }