1 files changed, 21 insertions, 0 deletions
diff --git a/usr.bin/patch/version.c b/usr.bin/patch/version.c
new file mode 100644
index 00000000000..7a527fdd34d
--- /dev/null
+++ b/usr.bin/patch/version.c
@@ -0,0 +1,21 @@
+#ifndef lint
+static char rcsid[] = "$Id: version.c,v 1.1.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);
+}