diff options
Diffstat (limited to 'databases/db3/files')
| -rw-r--r-- | databases/db3/files/patch-dist::configure | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/databases/db3/files/patch-dist::configure b/databases/db3/files/patch-dist::configure index 48e44c8708c1..6f15e3b82012 100644 --- a/databases/db3/files/patch-dist::configure +++ b/databases/db3/files/patch-dist::configure @@ -9,6 +9,15 @@ INSTALLER="\$(LIBTOOL) --mode=install cp" # Configure for shared libraries, static libraries, or both. If both are +@@ -8728,7 +8728,7 @@ + done + JTOPDIR=`echo "$JAVACABS" | sed -e 's://*:/:g' -e 's:/[^/]*$::'` + case "$host_os" in +- darwin*) JTOPDIR=`echo "$JTOPDIR" | sed -e s:/[^/]*$::'` ++ darwin*) JTOPDIR=`echo "$JTOPDIR" | sed -e 's:/[^/]*$::'` + JNIHEADERDIR="$JTOPDIR/Headers";; + *) JNIHEADERDIR="$JTOPDIR/include";; + esac @@ -9100,7 +9100,7 @@ # Optional utilities. |