[Pkg-ocaml-maint-commits] [SCM] Debian packaging for coccinelle branch, patched, updated. patched/0.1.7.deb-2-3-gec68ef4

[Eugeniy Meshcheryakov]

The following commit has been merged in the patched branch:
commit ec68ef4982aa1f844ae4b62ba7cfd357e6f22de5
Author: Eugeniy Meshcheryakov <eugen at debian.org>
Date:   Sat May 2 02:07:51 2009 +0200

    Patches for version 0.1.7.deb-3

diff --git a/debian/patches/fixes/unsafe-tmp-handling.diff b/debian/patches/fixes/unsafe-tmp-handling.diff
new file mode 100644
index 0000000..7f77d2d
--- /dev/null
+++ b/debian/patches/fixes/unsafe-tmp-handling.diff
@@ -0,0 +1,29 @@
+From: Eugeniy Meshcheryakov <eugen at debian.org>
+Subject: [PATCH] fixes/unsafe-tmp-handling
+
+Patch fixes unsafe temporary file handling (reported to upstream).
+
+Signed-off-by: Eugeniy Meshcheryakov <eugen at debian.org>
+
+---
+ main.ml |    2 ++
+ 1 files changed, 2 insertions(+), 0 deletions(-)
+
+diff --git a/main.ml b/main.ml
+index 52096bb..2619091 100644
+--- a/main.ml
++++ b/main.ml
+@@ -740,9 +740,11 @@ let main_action xs =
+ 		  
+ 		if !output_file =$= "" 
+ 		then begin
++                  (*
+                   let tmpfile = "/tmp/"^Common.basename infile in
+                   pr2 (spf "One file modified. Result is here: %s" tmpfile);
+                   Common.command2 ("cp "^outfile^" "^tmpfile);
++                  *)
+ 		end
+ 	      ));
+             if !output_file <> "" then
+-- 
+tg: (0f08eb3..) fixes/unsafe-tmp-handling (depends on: upstream)
diff --git a/debian/patches/series b/debian/patches/series
index 8b55d32..0ce0697 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -2,3 +2,4 @@ debian/documentation-paths.diff -p1
 fixes/system-menhir.diff -p1
 fixes/system-pycaml.diff -p1
 fixes/system-ocamlsexp.diff -p1
+fixes/unsafe-tmp-handling.diff -p1

-- 
Debian packaging for coccinelle