diff -r df47b7efb97d -r b1577ea008e5 configure
--- a/configure	Fri Jun 06 19:21:03 2025 +0200
+++ b/configure	Tue Nov 04 22:32:14 2025 +0100
@@ -319,7 +319,7 @@
     # dependency archiver
     while true
     do
-        if command -v ar > /dev/null ; then
+        if command -v ar > /dev/null 2>&1 ; then
             :
         else
             break
@@ -344,7 +344,7 @@
     # dependency rmdir
     while true
     do
-        if command -v rm > /dev/null ; then
+        if command -v rm > /dev/null 2>&1 ; then
             :
         else
             break
@@ -393,7 +393,7 @@
     # dependency mkdir
     while true
     do
-        if command -v mkdir > /dev/null ; then
+        if command -v mkdir > /dev/null 2>&1 ; then
             :
         else
             break