| 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)
|
|
|
|
|