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