From: Richard W.M. Jones <rjones@redhat.com>
Date: Mon, 23 Sep 2013 17:46:09 +0000 (+0100)
Subject: goaljobs: sh: ~tmpdir default should be true not false.
X-Git-Tag: 0.2~12
X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=9a049cb107efab5b03dae694d8c7bf9b97655450;p=goaljobs.git

goaljobs: sh: ~tmpdir default should be true not false.
---

diff --git a/goaljobs.ml b/goaljobs.ml
index 94843ac..489f387 100644
--- a/goaljobs.ml
+++ b/goaljobs.ml
@@ -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