Loading Configure +13 −13 Original line number Diff line number Diff line Loading @@ -756,6 +756,7 @@ while (@argvcopy) else { $config{options} .= " ".$_; } } } if (defined($config{api}) && !exists $apitable->{$config{api}}) { die "***** Unsupported api compatibility level: $config{api}\n", Loading @@ -771,7 +772,6 @@ while (@argvcopy) die "***** Unsupported options: ", join(", ", keys %unsupported_options), "\n"; } } if ($libs =~ /(^|\s)-Wl,-rpath,/ && !$disabled{shared} Loading Loading
Configure +13 −13 Original line number Diff line number Diff line Loading @@ -756,6 +756,7 @@ while (@argvcopy) else { $config{options} .= " ".$_; } } } if (defined($config{api}) && !exists $apitable->{$config{api}}) { die "***** Unsupported api compatibility level: $config{api}\n", Loading @@ -771,7 +772,6 @@ while (@argvcopy) die "***** Unsupported options: ", join(", ", keys %unsupported_options), "\n"; } } if ($libs =~ /(^|\s)-Wl,-rpath,/ && !$disabled{shared} Loading