The following commit has been merged in the master branch:
commit 4574a820f8f36dba67b3d7ef3e7df6a803db7100
Author: Stephane Glondu <st...@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

_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

Reply via email to