Slave.run: run a command using Unix.execute

[hcoop/domtool2.git] / src / slave.sig

diff --git a/src/slave.sig b/src/slave.sig
index 7471d86..bfe5786 100644 (file)
--- a/src/slave.sig
+++ b/src/slave.sig
@@ -46,6 +46,7 @@ signature SLAVE = sig
     val shell : string list -> bool
     val shellF : string list * (string -> string) -> unit
     val shellOutput : string list -> string option
+    val run : string * string list -> bool
 
     val concatTo : (string -> bool) -> string -> unit
     (* Search through the result configuration hierarchy for all files matching