[Pkg-ocaml-maint-commits] [SCM] approx upstream and debian packaging branch, master, updated. debian/4.5-1-15-gc9a2492

[Eric Cooper]

The following commit has been merged in the master branch:
commit c8231ca67512c997a888ac2f362c119215ef14fe
Author: Eric Cooper <ecc at cmu.edu>
Date:   Thu Mar 10 09:41:43 2011 -0500

    use explicit "set -e"

diff --git a/debian/approx.config b/debian/approx.config
index 681b038..8b3591d 100644
--- a/debian/approx.config
+++ b/debian/approx.config
@@ -1,4 +1,5 @@
-#!/bin/sh -e
+#!/bin/sh
+set -e
 
 . /usr/share/debconf/confmodule
 
diff --git a/debian/approx.postinst b/debian/approx.postinst
index 7a0c106..c4bd7b2 100644
--- a/debian/approx.postinst
+++ b/debian/approx.postinst
@@ -1,4 +1,5 @@
-#!/bin/sh -e
+#!/bin/sh
+set -e
 
 . /usr/share/debconf/confmodule
 
diff --git a/debian/approx.postrm b/debian/approx.postrm
index f329175..a4cf95a 100644
--- a/debian/approx.postrm
+++ b/debian/approx.postrm
@@ -1,4 +1,5 @@
-#!/bin/sh -e
+#!/bin/sh
+set -e
 
 remove_inetd() {
     if [ -x "$(command -v update-inetd)" ]; then

-- 
approx upstream and debian packaging