Skip to content

Be slightly more smart when running mplint

Jesusalva Jesusalva requested to merge jesusalva/mplint into master

Inspired by this StackOverflow article

why tf were we recompiling mplint three times, anyway. This saves only one minute or less ─ if you want to make this faster, the bottleneck might be on apt.

Edited by Jesusalva Jesusalva

Merge request reports