Index: tools/dartium/archive.py |
diff --git a/tools/dartium/archive.py b/tools/dartium/archive.py |
index b5f1e33b1c1788a864a220a6945765754a388537..cb00942d448886db381914850124cec3a6c7880e 100755 |
--- a/tools/dartium/archive.py |
+++ b/tools/dartium/archive.py |
@@ -130,7 +130,8 @@ def StageAndZip(fileList, target): |
if os.path.exists(stageDir): |
shutil.rmtree(stageDir) |
os.mkdir(stageDir) |
- oldFiles = glob.glob(target.split('-')[0] + '*.zip') |
+ revision = target.split('-')[-1] |
+ oldFiles = glob.glob(target.replace(revision, '*.zip') |
for oldFile in oldFiles: |
os.remove(oldFile) |