[Pkg-ocaml-maint-commits] [SCM] dh-ocaml packaging branch, master, updated. debian/1.0.3-6-gcc45cf8

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 4574a820f8f36dba67b3d7ef3e7df6a803db7100
Author: Stephane Glondu <steph at glondu.net>
Date:   Fri Feb 10 04:24:42 2012 +0100

    dom-safe-pull: fail when feching fails (Close: #659244)

diff --git a/tools/dom-safe-pull b/tools/dom-safe-pull
index e7cbdfb..93c02fc 100755
--- a/tools/dom-safe-pull
+++ b/tools/dom-safe-pull
@@ -24,7 +24,8 @@ sub update_remotes () {
     for (`git remote`) {
         chomp;
         print "Feching $_...\n";
-        system "git fetch $_";
+        system("git fetch $_") == 0
+            or die "Could not fetch remote $_";
     }
 }
 

-- 
dh-ocaml packaging