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