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 c413a07..bfe5786 100644 (file)
--- a/src/slave.sig
+++ b/src/slave.sig
@@ -45,6 +45,8 @@ 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