1 diff --git a/configure b/configure
2 index dda98b3ab..6f5f8a3c8 100644
7 opt=`echo "$1" | sed 's/^--[^-]*-//'`
10 - *) echo "configure: unrecognized option \`$1'" >&2; exit 1;;
11 + ipv6) eval enable_$opt=$2 ;;
12 + *) echo "configure: unrecognized option \`$1'" >&2;;
17 while [ $# -gt 0 ]; do
18 @@ -50,7 +49,7 @@ Optional features (all enabled by default if system supports a feature):
22 - *) echo "configure: unknown option \`$1'" >&2; exit 1 ;;
23 + *) echo "configure: unknown option \`$1'" >&2;;