@ratankaliani @leruaa Could you please take a look at this PR?

Hmm, it seems to be trickier than I thought, still trying to figure it out...

Resort to a more reliable approach: create dummy ELF files when running clippy, please have another look.

Ping @leruaa

I believe this approach will truncate the ELFs when running cargo clippy if they already exists, and the next cargo run won't regenerate them if the program sources haven't changed.

Closing as I don't see an easy way to do this, thanks anyway for trying!

Hmm, makes sense. Another approach would be introducing a feature clippy, which is supposed to be reliable IMO, but all programs need to annoyingly add this clippy feature to run cargo clippy. I guess I have to disable the clippy check for programs in our project for now.