Commit fae1b5c4 authored by Bernhard Schommer's avatar Bernhard Schommer
Browse files

Added Build, Tag, etc in version string and driver/Version.ml should be ignored

parent b59b2b18
......@@ -41,9 +41,9 @@ cparser/pre_parser.ml
cparser/pre_parser.mli
lib/Readconfig.ml
lib/Tokenize.ml
driver/Version.ml
# Documentation
doc/coq2html
doc/coq2html.ml
doc/html
doc/html/
......@@ -388,7 +388,7 @@ let explode_comma_option s =
let version_string =
if Version.buildnr <> "" && Version.tag <> "" then
sprintf "The CompCert verified compiler, %s,%s,%s\n" Version.version Version.buildnr Version.tag
sprintf "The CompCert verified compiler, %s, Build: %s, Tag: %s\n" Version.version Version.buildnr Version.tag
else
"The CompCert C verified compiler, version "^ Version.version ^ "\n"
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment