diff options
| -rwxr-xr-x | Demo/scripts/makedir.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Demo/scripts/makedir.py b/Demo/scripts/makedir.py index 58efe0e..4c00d88 100755 --- a/Demo/scripts/makedir.py +++ b/Demo/scripts/makedir.py @@ -12,7 +12,7 @@ def main(): makedirs(p) def makedirs(p): - if not os.path.isdir(p): + if p and not os.path.isdir(p): head, tail = os.path.split(p) makedirs(head) os.mkdir(p, 0777) |