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