From: Richard W.M. Jones Date: Tue, 17 Sep 2013 17:14:03 +0000 (+0100) Subject: goaljobs: Remove temporary files properly. X-Git-Tag: 0.2~28 X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=109d0b711f20e61c0b23de0c8d871b32a8a4b716;p=goaljobs.git goaljobs: Remove temporary files properly. --- diff --git a/goaljobs b/goaljobs index defb248..b7f929a 100755 --- a/goaljobs +++ b/goaljobs @@ -140,4 +140,5 @@ echo \ ocamlfind $best "${passthru[@]}" "${pkg[@]}" "$@" $main -o "$output" ocamlfind $best "${passthru[@]}" "${pkg[@]}" "$@" $main -o "$output" -rm -f $main +mainbase="$(echo $main | sed s,\.ml$,,)" +rm -f "$mainbase"*