diff options
author | Martin Wicke <wicke@google.com> | 2017-03-24 11:06:18 -0800 |
---|---|---|
committer | TensorFlower Gardener <gardener@tensorflow.org> | 2017-03-24 12:26:57 -0700 |
commit | f2574c273778eeb05a8ef3ba40544ddee98a9e07 (patch) | |
tree | b50cabf762d11a82a41d46d27a482e2fc4fc08f4 /tensorflow/tools/git/gen_git_source.py | |
parent | ec2f8761168c40a76b95220221889b47f82700d9 (diff) |
Fix lint issues after pull.
Change: 151154030
Diffstat (limited to 'tensorflow/tools/git/gen_git_source.py')
-rwxr-xr-x | tensorflow/tools/git/gen_git_source.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tensorflow/tools/git/gen_git_source.py b/tensorflow/tools/git/gen_git_source.py index 299d50c359..a7f8b5bb5f 100755 --- a/tensorflow/tools/git/gen_git_source.py +++ b/tensorflow/tools/git/gen_git_source.py @@ -78,7 +78,7 @@ def configure(src_base_path, debug=False): if os.path.isdir(gen_path): try: shutil.rmtree(gen_path) - except PermissionError: + except OSError: raise RuntimeError("Cannot delete directory %s due to permission " "error, inspect and remove manually" % gen_path) else: |