diff options
Diffstat (limited to 'libsanitizer/ubsan/Makefile.in')
| -rw-r--r-- | libsanitizer/ubsan/Makefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/libsanitizer/ubsan/Makefile.in b/libsanitizer/ubsan/Makefile.in index a816d095f6a..23939f0bf68 100644 --- a/libsanitizer/ubsan/Makefile.in +++ b/libsanitizer/ubsan/Makefile.in @@ -242,6 +242,7 @@ dvidir = @dvidir@ enable_shared = @enable_shared@ enable_static = @enable_static@ exec_prefix = @exec_prefix@ +get_gcc_base_ver = @get_gcc_base_ver@ host = @host@ host_alias = @host_alias@ host_cpu = @host_cpu@ |