diff options
| -rwxr-xr-x | extras/scripts/crcchecker.py | 16 |
1 files changed, 9 insertions, 7 deletions
diff --git a/extras/scripts/crcchecker.py b/extras/scripts/crcchecker.py index 01cb02523d0..7dcdb681e18 100755 --- a/extras/scripts/crcchecker.py +++ b/extras/scripts/crcchecker.py @@ -82,13 +82,15 @@ def filelist_from_git_ls(): def is_uncommitted_changes(): """Returns true if there are uncommitted changes in the repo""" - git_status = "git status --porcelain -uno" - returncode = run(git_status.split(), stdout=PIPE, stderr=PIPE) - if returncode.returncode != 0: - sys.exit(returncode.returncode) - - if returncode.stdout: - return True + # Don't run this check in the Jenkins CI + if os.getenv("FDIOTOOLS_IMAGE") is None: + git_status = "git status --porcelain -uno" + returncode = run(git_status.split(), stdout=PIPE, stderr=PIPE) + if returncode.returncode != 0: + sys.exit(returncode.returncode) + + if returncode.stdout: + return True return False |