diff options
| -rwxr-xr-x | tools/moveconfig.py | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/tools/moveconfig.py b/tools/moveconfig.py index c6d7c53f8b..5392e1f808 100755 --- a/tools/moveconfig.py +++ b/tools/moveconfig.py @@ -727,12 +727,6 @@ def move_config(toolchains, args, db_queue, col): db_queue (Queue): Queue for database updates col (terminal.Color): Colour object """ - if args.force_sync: - print('Syncing defconfigs', end=' ') - elif args.build_db: - print(f'Building {CONFIG_DATABASE} database') - print(f'(jobs: {args.jobs})\n') - if args.git_ref: reference_src = ReferenceSource(args.git_ref) reference_src_dir = reference_src.get_dir() |