]> Frank Brehm's Git Trees - profitbricks/jenkins-build-scripts.git/commitdiff
more output
authorMathias Klette <mathias.klette@profitbricks.com>
Wed, 16 May 2012 16:28:01 +0000 (18:28 +0200)
committerMathias Klette <mathias.klette@profitbricks.com>
Wed, 16 May 2012 16:28:01 +0000 (18:28 +0200)
debian_build.py

index 27c31f799ec350db25d30f7d878536c43cc83dbe..e0733ee45854d11b548611a91100d9ce63e5743f 100755 (executable)
@@ -256,7 +256,7 @@ if __name__ == '__main__':
     localname = GIT_BRANCH_NAME
     remotename = os.path.join('origin', GIT_BRANCH_NAME)
     try:
-        logger.debug('Reset and clean repository first:')
+        logger.info('Reset and clean repository.')
         gitcmd = git.Git('.')
         logger.debug(
             'git reset --hard HEAD:\n%s' 
@@ -270,6 +270,8 @@ if __name__ == '__main__':
             'git branch -D %s\n%s' 
             %(localname,gitcmd.branch('-D','%s' %(localname)))
         )
+
+        logger.info('Checkout branch %s.' %(remotename))
         logger.debug(
             'git checkout -b %s %s:\n%s' 
             %(