Add knowledge about -fprofile-{correction,reorder-functions,values}

Fixes #615.

diff --git a/src/ccache.c b/src/ccache.c
index 1b80fe0a5fae8e23a7d0cc7d86816679c9f67e53..d4f35b989ea35eaa3f058b8e370d7b02bccc1959 100644 (file)
--- a/src/ccache.c
+++ b/src/ccache.c
@@ -2616,7 +2616,10 @@ process_profiling_option(const char *arg)
                         || str_startswith(arg, "-fauto-profile=")) {
                new_profile_use = true;
                new_profile_path = x_strdup(strchr(arg, '=') + 1);
-       } else if (str_eq(arg, "-fprofile-sample-accurate")) {
+       } else if (str_eq(arg, "-fprofile-correction")
+                  || str_eq(arg, "-fprofile-reorder-functions")
+                  || str_eq(arg, "-fprofile-sample-accurate")
+                  || str_eq(arg, "-fprofile-values")) {
                return true;
        } else {
                cc_log("Unknown profiling option: %s", arg);