diff --git a/wlutil/build.py b/wlutil/build.py index 2e90da98..6f848646 100644 --- a/wlutil/build.py +++ b/wlutil/build.py @@ -514,8 +514,7 @@ def makeOpenSBI(config, nodisk=False): if 'opensbi-build-args' in config['firmware']: args += config['firmware']['opensbi-build-args'] - wlutil.run(['make'] + wlutil.getOpt('linux-make-args') + args, - cwd=config['firmware']['source']) + wlutil.run(['make'] + args, cwd=config['firmware']['source']) return config['firmware']['source'] / 'build' / 'platform' / 'generic' / 'firmware' / 'fw_payload.elf'