diff options
Diffstat (limited to 'tools/makemanifest.py')
| -rw-r--r-- | tools/makemanifest.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/makemanifest.py b/tools/makemanifest.py index babce7fa7..6779198c4 100644 --- a/tools/makemanifest.py +++ b/tools/makemanifest.py @@ -25,6 +25,7 @@ # THE SOFTWARE. from __future__ import print_function +import errno import sys import os import subprocess @@ -171,7 +172,7 @@ def mkdir(path): try: os.mkdir(cur_path) except OSError as er: - if er.args[0] == 17: # file exists + if er.args[0] == errno.EEXIST: pass else: raise er |