components/mpfr/Makefile
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