[SCM] Git repository for pkg-virtuoso branch, master, updated. debian/6.1.3+dfsg1-2.1-34-g8e43536

[José Manuel Santamar?==?UTF-8?Q?ía Lema]

The following commit has been merged in the master branch:
commit 8e4353631ddada2abc68343aa2d38e47b8dba7b0
Author: José Manuel Santamaría Lema <panfaust at gmail.com>
Date:   Tue May 29 23:59:26 2012 +0200

    Don't ignore errors in preinst.

diff --git a/debian/virtuoso-opensource-6.1.preinst b/debian/virtuoso-opensource-6.1.preinst
index d8b4e78..de94f00 100644
--- a/debian/virtuoso-opensource-6.1.preinst
+++ b/debian/virtuoso-opensource-6.1.preinst
@@ -1,5 +1,7 @@
 #!/bin/bash
 
+set -e
+
 FILE_INI="/etc/virtuoso-opensource-6.1/virtuoso.ini"
 
 # /etc/virtuoso-opensource-6.1/virtuoso.ini was a conffile in older

-- 
Git repository for pkg-virtuoso