| Index: win_toolchain/toolchain2013.py
|
| diff --git a/win_toolchain/toolchain2013.py b/win_toolchain/toolchain2013.py
|
| index 0cda5903964931872f52a8f0d4adf0bd39522519..397a0f6265a62801f06dfceaaee82398d1a3132e 100755
|
| --- a/win_toolchain/toolchain2013.py
|
| +++ b/win_toolchain/toolchain2013.py
|
| @@ -464,6 +464,7 @@ def main():
|
| # correctly, as we don't otherwise care about working directory.
|
| os.chdir(os.path.join(BASEDIR, '7z'))
|
| if options.bot_mode and options.sha1:
|
| + options.express = False
|
| DoTreeMirror(target_dir, options.sha1)
|
| else:
|
| images = GetSourceImages(options.local, not options.express)
|
|
|