The following commit has been merged in the master branch:
commit b8077b3008550588475b3655e46ae53a85d78b9d
Author: Bas Couwenberg <sebas...@xs4all.nl>
Date:   Fri Jul 19 16:32:30 2013 +0200

    Use set -e instead of /bin/sh -e.

diff --git a/debian/php5-mapscript.config b/debian/php5-mapscript.config
index 42cd9fd..fb41e9d 100644
--- a/debian/php5-mapscript.config
+++ b/debian/php5-mapscript.config
@@ -1,4 +1,6 @@
-#!/bin/sh -e
+#!/bin/sh
+
+set -e
 
 # Source debconf library.
 . /usr/share/debconf/confmodule

-- 
Mapserver

_______________________________________________
Pkg-grass-devel mailing list
Pkg-grass-devel@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-grass-devel

Reply via email to