diff --git a/br-ext/scripts/make_def_config.py b/br-ext/scripts/make_def_config.py index 5d42cac87e54ebf86fdbffd4fe7c284d574c653c..4fc6666d8498ab3b5b6936b99ff9127e99f8c380 100644 --- a/br-ext/scripts/make_def_config.py +++ b/br-ext/scripts/make_def_config.py @@ -47,7 +47,7 @@ def main(): br_ext_optee = args.br_ext_optee else: br_ext_optee = '../' + args.br_ext_optee - + os.execlp(args.make_cmd, args.make_cmd, '-C', args.br, 'O=' + out, 'BR2_EXTERNAL=' + br_ext_optee, 'BR2_DEFCONFIG=' + out + '/defconfig', 'defconfig')