diff options
| -rwxr-xr-x | tools/moveconfig.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/moveconfig.py b/tools/moveconfig.py index 1332bd2..ce8245a 100755 --- a/tools/moveconfig.py +++ b/tools/moveconfig.py @@ -905,10 +905,10 @@ def main(): config_attrs = parse_recipe(args[0]) - update_cross_compile() - check_top_directory() + update_cross_compile() + if not options.cleanup_headers_only: move_config(config_attrs, options) |