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

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

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