debian_build: PLEASE also exit with error if branch was not found!

diff --git a/debian_build.py b/debian_build.py
index 4a10e0d068022496d288053dddbbe398ff2248dc..4eb2623d012bd2f75141a34b69e260b53d1faee8 100755 (executable)
--- a/debian_build.py
+++ b/debian_build.py
@@ -145,6 +145,7 @@ if __name__ == '__main__':
             ), 
             exc_info=error
         )
+        exit_error()
 
     # .. content related
     cl = changelog.Changelog()