diff --git a/configure b/configure index 0a4a0fc9..7f4f3bd9 100755 --- a/configure +++ b/configure @@ -518,7 +518,7 @@ else "") break ;; *) - usage 1 ;; + shift 1 ;; esac done fi