Bug 679334 - Don't remove pgd files, but clear them with pgomgr instead. r=ted
authorMike Hommey <mh+mozilla@glandium.org>
Mon, 29 Aug 2011 07:33:48 +0200
changeset 76270 e25c18bf42d22b8e718e4d1c11506e81f822d53c
parent 76269 c37f23b36e54aed1afde621a23efb0dff82d2ff2
child 76271 6bedd46abb820db6d7d807ad42d8a6233ced3209
push id3
push userfelipc@gmail.com
push dateFri, 30 Sep 2011 20:09:13 +0000
reviewersted
bugs679334
milestone9.0a1
Bug 679334 - Don't remove pgd files, but clear them with pgomgr instead. r=ted
config/rules.mk
js/src/config/rules.mk
--- a/config/rules.mk
+++ b/config/rules.mk
@@ -936,17 +936,17 @@ ifdef SHARED_LIBRARY
 endif
 endif # SHARED_LIBRARY || PROGRAM
 endif # WINNT_
 endif # MOZ_PROFILE_USE
 ifdef MOZ_PROFILE_GENERATE
 # Clean up profiling data during PROFILE_GENERATE phase
 export::
 ifeq ($(OS_ARCH)_$(GNU_CC), WINNT_)
-	-$(RM) *.pgd
+	$(foreach pgd,$(wildcard *.pgd),pgomgr -clear $(pgd);)
 else
 ifdef GNU_CC
 	-$(RM) *.gcda
 endif
 endif
 endif
 endif # NO_PROFILE_GUIDED_OPTIMIZE
 
--- a/js/src/config/rules.mk
+++ b/js/src/config/rules.mk
@@ -936,17 +936,17 @@ ifdef SHARED_LIBRARY
 endif
 endif # SHARED_LIBRARY || PROGRAM
 endif # WINNT_
 endif # MOZ_PROFILE_USE
 ifdef MOZ_PROFILE_GENERATE
 # Clean up profiling data during PROFILE_GENERATE phase
 export::
 ifeq ($(OS_ARCH)_$(GNU_CC), WINNT_)
-	-$(RM) *.pgd
+	$(foreach pgd,$(wildcard *.pgd),pgomgr -clear $(pgd);)
 else
 ifdef GNU_CC
 	-$(RM) *.gcda
 endif
 endif
 endif
 endif # NO_PROFILE_GUIDED_OPTIMIZE