diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2020-07-09 10:55:44 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2020-07-09 10:55:44 +0200 |
commit | 72be849e2a9bbe7e8a8438bf561c5a677a35c9e0 (patch) | |
tree | 5c347131392efd7db2b3db9566ba712a660cd3f8 /driver/CommonOptions.ml | |
parent | a00de29bc143e758ed034018c3c528e873b9b3da (diff) | |
download | compcert-72be849e2a9bbe7e8a8438bf561c5a677a35c9e0.tar.gz compcert-72be849e2a9bbe7e8a8438bf561c5a677a35c9e0.zip |
No trailing commas for --version-file option.
Diffstat (limited to 'driver/CommonOptions.ml')
-rw-r--r-- | driver/CommonOptions.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/driver/CommonOptions.ml b/driver/CommonOptions.ml index 839bad1b..5993c68d 100644 --- a/driver/CommonOptions.ml +++ b/driver/CommonOptions.ml @@ -27,7 +27,7 @@ let print_version_and_exit tool_name () = let version_file_string tool_name = if Version.buildnr <> "" && Version.tag <> "" then - Printf.sprintf "This is CompCert %s,\nVersion: %s,\nBuild: %s,\nTag: %s,\nBranch: %s\n" + Printf.sprintf "This is CompCert %s\nVersion: %s\nBuild: %s\nTag: %s\nBranch: %s\n" tool_name Version.version Version.buildnr Version.tag Version.branch else Printf.sprintf "The CompCert %s,\nversion %s\n" tool_name Version.version |