Assorted formatting and comment tweaks in position.h

[stockfish] / src / Makefile

diff --git a/src/Makefile b/src/Makefile
index 80867feb578aba8ac534b61507733d29045a3280..a9715ec9a0fc2d4290ebbc57447b432835bc2ac3 100644 (file)
--- 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