--- files/patch-configure (revision 385239) +++ files/patch-configure (working copy) @@ -1,5 +1,18 @@ --- configure.orig 2014-10-03 19:25:46 UTC +++ configure +@@ -85,9 +85,9 @@ exec 3>&1 + + # Parse command-line arguments + +-if echo "$configure_options" | grep -q -e '--\?[a-zA-Z0-9-]\+='; then +- err "Arguments to this script look like '-prefix /foo/bar', not '-prefix=/foo/bar' (note the '=')." +-fi ++#if echo "$configure_options" | grep -q -e '--\?[a-zA-Z0-9-]\+='; then ++# err "Arguments to this script look like '-prefix /foo/bar', not '-prefix=/foo/bar' (note the '=')." ++#fi + + while : ; do + case "$1" in @@ -659,7 +659,8 @@ if test $with_sharedlibs = "yes"; then mksharedlib="$flexlink" mkmaindll="$flexlink -maindll"