diff options
| -rw-r--r-- | driver/CommonOptions.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/driver/CommonOptions.ml b/driver/CommonOptions.ml index 5993c68d..cbc04a44 100644 --- a/driver/CommonOptions.ml +++ b/driver/CommonOptions.ml @@ -32,6 +32,7 @@ let version_file_string tool_name = else Printf.sprintf "The CompCert %s,\nversion %s\n" tool_name Version.version +(* Print the version string to a file and exit the program *) let print_version_file_and_exit tool_name file = let oc = open_out_bin file in output_string oc (version_file_string tool_name); |