diff --git a/debian/config b/debian/config
index 7f21a9e5bc5fe5c2f1598ce8610a115a2169f46d..7e02dfc63e4bb7fac09cb42f8d001d0edcad1316 100644 (file)
--- a/debian/config
+++ b/debian/config
#!/bin/sh
+set -e
. /usr/share/debconf/confmodule