[Pkg-ocaml-maint-commits] [SCM] dh-ocaml packaging branch, master, updated. debian/0.4.1-31-g01f546c

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 01f546c9dc173ea0bb0052015e71aa9507363a98
Author: Stephane Glondu <steph at glondu.net>
Date:   Tue Jun 23 18:40:00 2009 +0200

    Add set -e

diff --git a/tools/dom-apply-patches b/tools/dom-apply-patches
index e5aa4cf..f6bde28 100755
--- a/tools/dom-apply-patches
+++ b/tools/dom-apply-patches
@@ -1,4 +1,5 @@
 #!/bin/sh
+set -e
 
 PATCH_BRANCH="patch-queue"
 
diff --git a/tools/dom-save-patches b/tools/dom-save-patches
index d8834b4..92ad97b 100755
--- a/tools/dom-save-patches
+++ b/tools/dom-save-patches
@@ -1,4 +1,5 @@
 #!/bin/sh
+set -e
 
 PATCH_BRANCH="patch-queue"
 

-- 
dh-ocaml packaging