← Back to branch summary

~npalix/coccinelle/upstream

« back to all changes in this revision

Viewing changes to main.ml

  • Committer: Yoann Padioleau
  • Date: 2007-08-03 13:08:05 UTC
  • Revision ID: git-v1:95bf957d216fa0de145e75df8c2e2ef60a67fef6
adding info on C

svn path=/coccinelle/; revision=3099

Show diffs side-by-side

added added

removed removed

Lines of Context:
main.ml
436
436
       Testing.test_compare_c file1 file2 (* result is in unix code *)
437
437
    | [] when !action = "-compare_c_hardcoded" -> 
438
438
        Testing.test_compare_c_hardcoded ()
439
 
    | [] when !action = "-xxx" -> 
440
 
        Testing.test_xxx ()
 
439
    | xs when !action = "-xxx" -> 
 
440
        Testing.test_xxx xs
441
441
 
442
442
    (* --------------------------------------------------------- *)
443
443
    (* This is the main entry *)
479
479
          +> List.concat
480
480
        in
481
481
        Ctlcocci_integration.print_bench();
 
482
 
 
483
        let outfiles = Cocci.check_duplicate_modif outfiles in
482
484
        
483
485
        outfiles +> List.iter (fun (infile, outopt) -> 
484
486
          outopt +> do_option (fun outfile ->