autoconf regeneration

diff --git a/configure b/configure
index da49d27229a744d17a024a2b87180546772b59e5..6d3de65673042be200eb17f1e518fe0baf58d6e3 100755 (executable)
--- a/configure
+++ b/configure
@@ -9972,3 +9972,4 @@ $as_echo "$as_me: WARNING: Unrecognized options: $ac_unrecognized_opts" >&2;}
 fi
 
 
+sh util/bindvar.sh