From dd9de7f3a45ad0fb0501653a49f5ccb17365a2ad Mon Sep 17 00:00:00 2001
From: Joerg Jaspert <joerg@debian.org>
Date: Sat, 21 Feb 2009 20:55:19 +0100
Subject: [PATCH] Add a space

Signed-off-by: Joerg Jaspert <joerg@debian.org>
---
 config/debian/dinstall | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/config/debian/dinstall b/config/debian/dinstall
index 0f6a7c8f..91d9b536 100755
--- a/config/debian/dinstall
+++ b/config/debian/dinstall
@@ -384,7 +384,7 @@ function stage() {
     # it has to cd first!
     cd ${configdir}
 
-    if [ "${ERR}" = "false"]; then
+    if [ "${ERR}" = "false" ]; then
         set +e
     fi
     ${FUNC} ${ARGS}
-- 
2.39.2