diff options
author | Alon Zakai <alonzakai@gmail.com> | 2012-06-25 18:31:27 -0700 |
---|---|---|
committer | Alon Zakai <alonzakai@gmail.com> | 2012-06-25 18:31:27 -0700 |
commit | d1b22871c34dc9b0d5ea88f991602666d9143011 (patch) | |
tree | 8d17e72d5e3c2baaeb86eaa8cc042379bde166fa /tools | |
parent | 9144e4fe1da82e431217f4c0afc595056754376c (diff) |
use unique temp names for libraries too
Diffstat (limited to 'tools')
-rw-r--r-- | tools/shared.py | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/tools/shared.py b/tools/shared.py index 3db2fe69..cdaf2f22 100644 --- a/tools/shared.py +++ b/tools/shared.py @@ -980,7 +980,11 @@ def execute(cmd, *args, **kw): raise def suffix(name): - return name.split('.')[-1] + parts = name.split('.') + if len(parts) > 1: + return parts[-1] + else: + return None def unsuffixed(name): return '.'.join(name.split('.')[:-1]) |