Index: scripts/tools/run_recipe.py |
diff --git a/scripts/tools/run_recipe.py b/scripts/tools/run_recipe.py |
index 7bc7762bb585fcd91189e8d49b8ac2e86934b66d..65ec48f5f093070de4a3a0f737a453ba246e82e5 100755 |
--- a/scripts/tools/run_recipe.py |
+++ b/scripts/tools/run_recipe.py |
@@ -111,7 +111,6 @@ def get_properties_from_file(filename): |
def main(args): |
"""Gets the recipe name and properties and runs an annotated run.""" |
properties, master_overrides_slave = parse_args(args) |
- properties.setdefault('use_mirror', False) |
if not os.path.exists(SLAVE_DIR): |
os.makedirs(SLAVE_DIR) |