diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-08-05 16:11:27 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-08-05 16:11:27 +0200 |
commit | 3e071cf4c8a5cc8fde76cdbb00e90ebbd0d872d4 (patch) | |
tree | 885ab6b32b1a293956cfb9049f00520ac45116ba /driver/Driver.ml | |
parent | 63ebcf71ccd28a7e3a91737dc155dafc79b4196f (diff) | |
download | compcert-3e071cf4c8a5cc8fde76cdbb00e90ebbd0d872d4.tar.gz compcert-3e071cf4c8a5cc8fde76cdbb00e90ebbd0d872d4.zip |
Also print the system in the output to differentiate between diab and gcc produced code in later checks.
Diffstat (limited to 'driver/Driver.ml')
-rw-r--r-- | driver/Driver.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/driver/Driver.ml b/driver/Driver.ml index 1dce08ac..2932e879 100644 --- a/driver/Driver.ml +++ b/driver/Driver.ml @@ -159,8 +159,8 @@ let jdump_magic_number = "CompCertJDUMP" ^ Version.version let dump_jasm asm destfile = let oc = open_out_bin destfile in - fprintf oc "{\n\"Version\":\"%s\",\n\"Asm Ast\":%a}" - jdump_magic_number AsmToJSON.p_program asm; + fprintf oc "{\n\"Version\":\"%s\",\n\"System\":\"%s\",\n\"Asm Ast\":%a}" + jdump_magic_number Configuration.system AsmToJSON.p_program asm; close_out oc |