make[2]: Entering directory '/workspace/airoha_en7523/builds/tools/mpfr'
make[2]: Nothing to be done for 'download'.
make[2]: Leaving directory '/workspace/airoha_en7523/builds/tools/mpfr'
time: tools/mpfr/download#0.03#0.05#0.18