projects
/
platform
/
upstream
/
SPIRV-Tools.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
c3caa54
)
Do nothing if trying to make the current dir
author
David Neto
<dneto@google.com>
Mon, 20 Mar 2017 15:23:35 +0000
(11:23 -0400)
committer
David Neto
<dneto@google.com>
Mon, 20 Mar 2017 15:23:35 +0000
(11:23 -0400)
utils/update_build_version.py
patch
|
blob
|
history
diff --git
a/utils/update_build_version.py
b/utils/update_build_version.py
index
d2984d2
..
d71aecc
100755
(executable)
--- a/
utils/update_build_version.py
+++ b/
utils/update_build_version.py
@@
-45,6
+45,10
@@
def mkdir_p(directory):
"""Make the directory, and all its ancestors as required. Any of the
directories are allowed to already exist."""
+ if directory == "":
+ # We're being asked to make the current directory.
+ return
+
try:
os.makedirs(directory)
except OSError as e: