X-Git-Url: https://git.sesse.net/?p=stockfish;a=blobdiff_plain;f=src%2FMakefile;h=a9715ec9a0fc2d4290ebbc57447b432835bc2ac3;hp=80867feb578aba8ac534b61507733d29045a3280;hb=aea2fde6117be2fbda1caa62c842dea766780be5;hpb=b15dcd977487c58409de48016eb7680850481d5d

diff --git a/src/Makefile b/src/Makefile
index 80867feb..a9715ec9 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -439,13 +439,16 @@ gcc-profile-prepare:
 
 gcc-profile-make:
 	$(MAKE) ARCH=$(ARCH) COMP=$(COMP) \
-	EXTRACXXFLAGS='-fprofile-generate' \
+	EXTRACXXFLAGS='-fprofile-arcs' \
 	EXTRALDFLAGS='-lgcov' \
 	all
 
 gcc-profile-use:
+# Deleting corrupt ucioption.gc* profile files is necessary to avoid an 
+# "internal compiler error" for gcc versions 4.7.x
+	@rm -f ucioption.gc*
 	$(MAKE) ARCH=$(ARCH) COMP=$(COMP) \
-	EXTRACXXFLAGS='-fprofile-use' \
+	EXTRACXXFLAGS='-fbranch-probabilities' \
 	EXTRALDFLAGS='-lgcov' \
 	all