← Back to branch summary

~ubuntu-branches/debian/sid/ocaml/sid

« back to all changes in this revision

Viewing changes to ocamlbuild/plugin.ml

  • Committer: Bazaar Package Importer
  • Author(s): Stefano Zacchiroli
  • Date: 2009-02-22 08:49:13 UTC
  • mfrom: (12.1.1 squeeze)
  • Revision ID: james.westby@ubuntu.com-20090222084913-3i0uw2bhd0lgw0ok
* Uploading to unstable
* debian/control: bump dh-ocaml to (>= 0.4) to avoid buggy ocamlinit.mk

Show diffs side-by-side

added added

removed removed

Lines of Context:
ocamlbuild/plugin.ml
9
9
(*                                                                     *)
10
10
(***********************************************************************)
11
11
 
12
 
(* $Id: plugin.ml,v 1.1.4.2 2007/09/17 11:56:04 ertai Exp $ *)
 
12
(* $Id: plugin.ml,v 1.4.4.1 2008/11/06 15:40:39 ertai Exp $ *)
13
13
(* Original author: Nicolas Pouillard *)
14
14
open My_std
15
15
open Format
98
98
          if not !Options.just_plugin then
99
99
            let spec = S[!Options.ocamlrun; P(!Options.build_dir/plugin);
100
100
                         A"-no-plugin"; atomize (List.tl (Array.to_list Sys.argv))] in
 
101
            let () = Log.finish () in
101
102
            raise (Exit_silently_with_code (sys_command (Command.string_of_command_spec spec)))
102
103
        end
103
104
      else