File: runenv.ml

package info (click to toggle)
zeroinstall-injector 2.18-2.2
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 3,500 kB
  • sloc: ml: 26,524; xml: 2,700; ansic: 319; sh: 236; makefile: 133; python: 105
file content (11 lines) | stat: -rw-r--r-- 371 bytes parent folder | download | duplicates (5) 
1
2
3
4
5
6
7
8
9
10
11
 
(* Copyright (C) 2013, Thomas Leonard
 * See the README file for details, or visit http://0install.net.
 *)

(* The stand-alone 0install-runenv.exe (only used on Windows) *)

module RealSystem = Support.System.RealSystem(Unix)

let () =
  let system = new RealSystem.real_system in
  Support.Utils.handle_exceptions (Runenv_shared.runenv system) (Array.to_list Sys.argv)