[tools] disable mpfr tests compilation, slightly speeds up the build process
This page took 0.047394 seconds and 3 git commands to generate.