options: Save and restore opts_set for Optimization and Target options

[thirdparty/gcc.git] / gcc / opt-read.awk

diff --git a/gcc/opt-read.awk b/gcc/opt-read.awk
index 9bb9dfcf6caa7caeb68d513d0debf84e7c162d91..b113291f9a41277beae8a3b4f32abcd55ebca401 100644 (file)
--- a/gcc/opt-read.awk
+++ b/gcc/opt-read.awk
@@ -71,6 +71,7 @@ BEGIN {
                        n_target_save++
 
                        extra_target_vars[n_extra_target_vars] = name
+                       extra_target_var_types[n_extra_target_vars] = type
                        n_extra_target_vars++
                }
                else if ($1 == "HeaderInclude") {