On 11/17/22, Anton Khirnov wrote:
> They are not used since 520a5d33f0ea9f8838dbc7282470db700d248065.
> ---
> configure | 25 -
> 1 file changed, 25 deletions(-)
>
> diff --git a/configure b/configure
> index e6470dc03b..868d11567b 100755
> --- a/configure
> +++ b/configur
They are not used since 520a5d33f0ea9f8838dbc7282470db700d248065.
---
configure | 25 -
1 file changed, 25 deletions(-)
diff --git a/configure b/configure
index e6470dc03b..868d11567b 100755
--- a/configure
+++ b/configure
@@ -1317,21 +1317,6 @@ int main(void){ $func(); }