From df0fa603d091eb92e9ce7d2be969ae78a11057e2 Mon Sep 17 00:00:00 2001
From: Graydon Hoare <graydon@mozilla.com>
Date: Sat, 3 Jul 2010 00:27:33 -0700
Subject: Add version-stamp machinery (and put "Draft + datestamp" into doc
 footer).

---
 src/boot/driver/main.ml | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'src/boot/driver/main.ml')

diff --git a/src/boot/driver/main.ml b/src/boot/driver/main.ml
index 5655604d..9cb068ef 100644
--- a/src/boot/driver/main.ml
+++ b/src/boot/driver/main.ml
@@ -118,6 +118,11 @@ let dump_meta (filename:filename) : unit =
   exit 0
 ;;
 
+let print_version _ =
+  Printf.fprintf stdout "rustboot %s\n" Version.version;
+  exit 0;
+;;
+
 let flag f opt desc =
   (opt, Arg.Unit f, desc)
 ;;
@@ -206,6 +211,8 @@ let argspecs =
      "report metadata from DWARF info in compiled file, then exit");
     ("-rdeps", Arg.Unit (fun _ -> sess.Session.sess_report_deps <- true),
      "report dependencies of input, then exit");
+    ("-version", Arg.Unit (fun _ -> print_version()),
+     "print version information, then exit");
   ] @ (Glue.alt_argspecs sess)
 ;;
 
-- 
cgit v1.2.3