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