diff --git a/src/Makefile b/src/Makefile index b641747a..a9715ec9 100644 --- a/src/Makefile +++ b/src/Makefile @@ -373,9 +373,6 @@ profile-build: @$(PGOBENCH) > /dev/null @echo "" @echo "Step 3/4. Building final executable ..." -# Deleting corrupt ucioption.gc* profile files is necessary to avoid an -# "internal compiler error" for gcc versions 4.7.x - @rm ucioption.gc* @touch *.cpp *.h syzygy/*.cpp syzygy/*.h $(MAKE) ARCH=$(ARCH) COMP=$(COMP) $(profile_use) @echo "" @@ -447,6 +444,9 @@ gcc-profile-make: 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='-fbranch-probabilities' \ EXTRALDFLAGS='-lgcov' \