base-files: use the correct path in case of modified preinit options
[librecmc/librecmc.git] / tools / mpfr /
drwxr-xr-x   ..
-rw-r--r-- 590 Makefile
drwxr-xr-x - patches