[SCM] mapserver branch, master, updated. upstream/6.2.1-101-g5b7cd06

[Bas Couwenberg]

The following commit has been merged in the master branch:
commit b8077b3008550588475b3655e46ae53a85d78b9d
Author: Bas Couwenberg <sebastic at 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