diff options
-rw-r--r-- | Configurations/shared-info.pl | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Configurations/shared-info.pl b/Configurations/shared-info.pl index f821ad7e8d..83f28bd367 100644 --- a/Configurations/shared-info.pl +++ b/Configurations/shared-info.pl @@ -32,7 +32,10 @@ my %shared_info; return { %{$shared_info{'gnu-shared'}}, shared_defflag => '-Wl,--version-script=', - dso_ldflags => '-z defs', + dso_ldflags => + $disabled{asan} && $disabled{msan} && $disabled{ubsan} + ? '-z defs' + : '', }; }, 'bsd-gcc-shared' => sub { return $shared_info{'linux-shared'}; }, |