diff --git a/src/Makefile b/src/Makefile index 55be4d92..6f1f812f 100644 --- a/src/Makefile +++ b/src/Makefile @@ -15,7 +15,7 @@ link := -s # link += -lgcov # profile-guided optimization: -flags += -fprofile-use +# flags += -fprofile-use ################ ### platform ###