Hi Erik, Thanks for replying to this thread.
> Are you sure you can't configure the plugin to not add this parameter? The configuration can be changed and I fixed it locally just now. But it needs more time to dive into the extension and its configuration. Maybe it is good to provide some information about it in the document `ide.md`. I don't know whether it is a good idea to fix this particular issue if `--always-make` is not suggested now. And other issues may occur after fixing this particular issue if the current building system doesn't support `--always-make` completely. Best Regards, -- Guoxiong