Changeset 3025 for driver/acc.ml


Ignore:
Timestamp:
Mar 28, 2013, 11:21:44 PM (7 years ago)
Author:
sacerdot
Message:
  1. two syntax errors in instrumented files fixed
  2. the compiler now is compliant with the -o option
File:
1 edited

Legend:

Unmodified
Added
Removed
  • driver/acc.ml

    r3020 r3025  
    6464  let style = Cost_instrumented (l_costmap,s_costmap) in
    6565  let instrumented = ClightPrinter.print_program style labelled in
    66   let filename = Filename.chop_extension filename ^ "-instrumented.c" in
     66  let filename =
     67   (match Options.get_output_files () with
     68      None -> Filename.chop_extension filename
     69    | Some s -> s) ^ "-instrumented.c" in
    6770  let och = open_out filename in
    6871  output_string och instrumented;
Note: See TracChangeset for help on using the changeset viewer.