From b1d7306c745c6aa8bc64a6b0ef5a61e68c74edfb Mon Sep 17 00:00:00 2001
From: Sandro Santilli <strk@keybit.net>
Date: Wed, 8 Oct 2014 10:12:52 +0200
Subject: [PATCH]  Have ./configure tolerate unknown options

---
 configure | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/configure b/configure
index cbf3e9ee4..3ae5ca060 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