blob: 4adbcf28cc07db061a9061c3eecbe5e6767619ad (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
diff --git a/configure b/configure
index dda98b3ab..6f5f8a3c8 100644
--- a/configure
+++ b/configure
@@ -25,10 +25,9 @@ fi
enable() {
opt=`echo "$1" | sed 's/^--[^-]*-//'`
case "$opt" in
- ipv6) ;;
- *) echo "configure: unrecognized option \`$1'" >&2; exit 1;;
+ ipv6) eval enable_$opt=$2 ;;
+ *) echo "configure: unrecognized option \`$1'" >&2;;
esac
- eval enable_$opt=$2
}
while [ $# -gt 0 ]; do
@@ -50,7 +49,7 @@ Optional features (all enabled by default if system supports a feature):
EOF
exit 0
;;
- *) echo "configure: unknown option \`$1'" >&2; exit 1 ;;
+ *) echo "configure: unknown option \`$1'" >&2;;
esac
shift
done
|
