On 2025-03-19 02:54 pm, Martin Storsjö wrote:
On Tue, 18 Mar 2025, Gyan Doshi wrote:
---
configure | 13 +++--
1 file changed, 7 insertions(+), 6 deletions(-)
diff --git a/configure b/configure
index d84e32196d..14f7bcde0e 100755
--- a/configure
+++ b/configure
@@ -5230,12 +5230,6 @@
On Tue, 18 Mar 2025, Gyan Doshi wrote:
---
configure | 13 +++--
1 file changed, 7 insertions(+), 6 deletions(-)
diff --git a/configure b/configure
index d84e32196d..14f7bcde0e 100755
--- a/configure
+++ b/configure
@@ -5230,12 +5230,6 @@ else
ar_o='$@'
fi
-if $ar 2>&1 | grep -qi "
---
configure | 13 +++--
1 file changed, 7 insertions(+), 6 deletions(-)
diff --git a/configure b/configure
index d84e32196d..14f7bcde0e 100755
--- a/configure
+++ b/configure
@@ -5230,12 +5230,6 @@ else
ar_o='$@'
fi
-if $ar 2>&1 | grep -qi "@.*file"; then
-ar_objs="true"
-e
On 18.03.2025 19:11, Marvin Scholz wrote:
On 18 Mar 2025, at 16:49, Gyan Doshi wrote:
---
configure | 13 +++--
1 file changed, 7 insertions(+), 6 deletions(-)
diff --git a/configure b/configure
index d84e32196d..14f7bcde0e 100755
--- a/configure
+++ b/configure
@@ -5230,12 +5230,
On 18 Mar 2025, at 16:49, Gyan Doshi wrote:
> ---
> configure | 13 +++--
> 1 file changed, 7 insertions(+), 6 deletions(-)
>
> diff --git a/configure b/configure
> index d84e32196d..14f7bcde0e 100755
> --- a/configure
> +++ b/configure
> @@ -5230,12 +5230,6 @@ else
> ar_o='$@'
>