changeset 4252 | 891a844655c4 |
parent 3823 | 8a78c695182b |
child 4339 | 6501cf9c29f9 |
--- a/components/mpfr/Makefile Mon May 04 18:32:20 2015 -0500 +++ b/components/mpfr/Makefile Mon May 04 18:34:05 2015 -0500 @@ -43,7 +43,7 @@ include $(WS_MAKE_RULES)/ips.mk include $(WS_MAKE_RULES)/lint-libraries.mk -CLOBBER_PATHS += libmpfr.pc +CLEAN_PATHS += libmpfr.pc PATCH_LEVEL = 0 CFLAGS += -features=extinl,extensions