From 3d156cbea1d29a1256a45344494b0c866738819c Mon Sep 17 00:00:00 2001
From: Tim Bentley <tim.bentley@gmail.com>
Date: Sat, 21 Jul 2018 08:46:34 +0100
Subject: [PATCH] remove extra

---
 scripts/jenkins_script.py | 1 -
 1 file changed, 1 deletion(-)

diff --git a/scripts/jenkins_script.py b/scripts/jenkins_script.py
index 5a1e67c45..61c35c551 100755
--- a/scripts/jenkins_script.py
+++ b/scripts/jenkins_script.py
@@ -178,7 +178,6 @@ class JenkinsTrigger(object):
         print('{:<70} [WAITING]'.format(job['nextBuildUrl']), end='', flush=True)
         self.current_build = self._get_build_info(job_name, job['nextBuildNumber'])
         print('\b\b\b\b\b\b\b\b\b[RUNNING]', end='', flush=True)
-        is_success = False
         while self.current_build['building'] is True:
             time.sleep(0.5)
             self.current_build = self.server.get_build_info(job_name, job['nextBuildNumber'])