diff --git a/configure b/configure index fef3bc71..052a3502 100755 --- a/configure +++ b/configure @@ -56,9 +56,8 @@ while test -n "$1"; do ENVIRONMENT=`echo "$1" | cut -d= -f2` ;; *) - echo "Unknown option '$1'" >&2 - usage >&2 - exit 1 + echo "Unused option '$1'" >&2 + ;; esac shift done