diff options
| author | sunpoet <sunpoet@FreeBSD.org> | 2015-05-03 21:35:34 +0800 |
|---|---|---|
| committer | sunpoet <sunpoet@FreeBSD.org> | 2015-05-03 21:35:34 +0800 |
| commit | 9ea861a26621f3f6eaf6736a8f7865c79901c2b8 (patch) | |
| tree | a9ba83f3af79277e6168314633f5c4ea956038f6 /lang | |
| parent | 79a70795287a7a0567dc9672e5b880ff3cce8644 (diff) | |
| download | freebsd-ports-gnome-9ea861a26621f3f6eaf6736a8f7865c79901c2b8.tar.gz freebsd-ports-gnome-9ea861a26621f3f6eaf6736a8f7865c79901c2b8.tar.zst freebsd-ports-gnome-9ea861a26621f3f6eaf6736a8f7865c79901c2b8.zip | |
- Remove incomplete check for configure arguments to fix build when CONFIGURE_ARGS contains =
PR: 199884
Submitted by: sunpoet (myself)
Approved by: Michael Grunewald <michipili@gmail.com> (maintainer)
Diffstat (limited to 'lang')
| -rw-r--r-- | lang/ocaml/files/patch-configure | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/lang/ocaml/files/patch-configure b/lang/ocaml/files/patch-configure index 527b978fc452..52225bc723ae 100644 --- a/lang/ocaml/files/patch-configure +++ b/lang/ocaml/files/patch-configure @@ -1,5 +1,16 @@ --- configure.orig 2014-10-03 19:25:46 UTC +++ configure +@@ -85,10 +85,6 @@ 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 +- + while : ; do + case "$1" in + "") break;; @@ -659,7 +659,8 @@ if test $with_sharedlibs = "yes"; then mksharedlib="$flexlink" mkmaindll="$flexlink -maindll" |