[Pkg-ocaml-maint-commits] r1447 - trunk/tools/dh_ocaml

[Stefano Zacchiroli]

Author: zack
Date: 2005-07-09 17:13:24 +0000 (Sat, 09 Jul 2005)
New Revision: 1447

Modified:
   trunk/tools/dh_ocaml/ocaml-md5sums.ml.in
Log:
no need to remove the registry dir, now we have only one of it


Modified: trunk/tools/dh_ocaml/ocaml-md5sums.ml.in
===================================================================
--- trunk/tools/dh_ocaml/ocaml-md5sums.ml.in	2005-07-09 16:52:06 UTC (rev 1446)
+++ trunk/tools/dh_ocaml/ocaml-md5sums.ml.in	2005-07-09 17:13:24 UTC (rev 1447)
@@ -271,10 +271,7 @@
   with End_of_file ->
     Unix.closedir dir;
     close_out registry;
-    if is_empty registry_file then begin
-      Sys.remove registry_file;
-      ignore (Sys.command ("/bin/rmdir -p " ^ md5sums_dir))
-    end
+    if is_empty registry_file Sys.remove registry_file
 
 (** {2 Main} *)