diff --git a/goaljobs.ml b/goaljobs.ml index 9688a9c424473703e03e5222ec14836af3899298..f3d27b7f17718a25fc8a6fae99f343e11951fbef 100644 --- a/goaljobs.ml +++ b/goaljobs.ml @@ -421,6 +421,7 @@ let mailto ?from ~subject ?(attach = []) to_ = List.iter ( fun a -> cmd := !cmd ^ " -a " ^ quote a ) attach; + cmd := !cmd ^ " " ^ quote to_; if Sys.command !cmd <> 0 then goal_failed "mailto: could not send email"