goaljobs: sh: ~tmpdir default should be true not false.
[goaljobs.git] / goaljobs.ml
index 94843ac..489f387 100644 (file)
@@ -242,7 +242,7 @@ let rm_rf dir =
 let shell = ref "/bin/sh"
 
 (* Used by sh, shout, shlines to handle the script and temporary dir. *)
-let with_script ?(tmpdir = false) script f =
+let with_script ?(tmpdir = true) script f =
   let dir = if tmpdir then Some (make_tmpdir ()) else None in
   let script_file, chan =
     match dir with