Skip to content

Runs make clean after make-install to reduce used disk#855

Merged
chick merged 5 commits intodevfrom call-make-clean-after-make-installApr 19, 2021

Commits

Commits on Apr 17, 2021