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