← Back to branch summary

~ubuntu-branches/ubuntu/karmic/coccinelle/karmic

« back to all changes in this revision

Viewing changes to ctl/ctl_engine.ml

  • Committer: Bazaar Package Importer
  • Author(s): Євгеній Мещеряков
  • Date: 2009-05-11 15:32:24 UTC
  • mfrom: (1.1.3 upstream)
  • Revision ID: james.westby@ubuntu.com-20090511153224-1odv41d4dkr3y80v
Tags: 0.1.8.deb-2
Use common install Makefile target for both native and bytecode
build. This hopefully fixes FTBFS on bytecode archs 

Show diffs side-by-side

added added

removed removed

Lines of Context:
ctl/ctl_engine.ml
2471
2471
      Printf.printf "triples: %d\n" !triples;
2472
2472
      print_state "final result" res;
2473
2473
      *)
2474
 
      res)
 
2474
      List.sort compare res)
2475
2475
    else
2476
2476
      (if !Flag_ctl.verbose_ctl_engine
2477
2477
      then Common.pr2 "missing something required";
2484
2484
(* ********************************************************************** *)
2485
2485
end
2486
2486
;;
2487