Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

[feature] libtools: Added "cp" command.

  • Loading branch information...
commit d00617e58d10f8dafbb779e1485bfa8d8bd86e87 1 parent 8ba7656
Grégoire Duchêne authored
Showing with 2 additions and 0 deletions.
  1. +1 −0  libtools/processUtils.ml
  2. +1 −0  libtools/processUtils.mli
View
1  libtools/processUtils.ml
@@ -53,3 +53,4 @@ let wget cmd = command_fct "wget" cmd
let tar cmd = command_fct "tar" cmd
let ps cmd = command_fct "ps" cmd
let mktemp cmd = command_fct "mktemp" cmd
+let cp cmd = command_fct "cp" cmd
View
1  libtools/processUtils.mli
@@ -23,6 +23,7 @@ val wget : string -> string
val tar : string -> string
val ps : string -> string
val mktemp : string -> string
+val cp : string -> string
val system_call : string -> string * Unix.process_status
Please sign in to comment.
Something went wrong with that request. Please try again.