diff options
Diffstat (limited to 'gcc/opt-functions.awk')
| -rw-r--r-- | gcc/opt-functions.awk | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/opt-functions.awk b/gcc/opt-functions.awk index 4db2521612f..381bb50028a 100644 --- a/gcc/opt-functions.awk +++ b/gcc/opt-functions.awk @@ -97,6 +97,7 @@ function switch_flags (flags) result = result \ test_flag("Common", flags, " | CL_COMMON") \ test_flag("Target", flags, " | CL_TARGET") \ + test_flag("PchIgnore", flags, " | CL_PCH_IGNORE") \ test_flag("Driver", flags, " | CL_DRIVER") \ test_flag("Joined", flags, " | CL_JOINED") \ test_flag("JoinedOrMissing", flags, " | CL_JOINED") \ |