diff --git a/configure b/configure index d3fe66d92..d3fe66d92 100755..100644 --- a/configure +++ b/configure