blob: 3be0c1fb1513154794a164c491b9ee03c7cd9875 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
diff --git a/db3/configure b/db3/configure
index 012b423..2856f20 100755
--- a/db3/configure
+++ b/db3/configure
@@ -8,7 +8,7 @@ db_dist="${base_path}../db/dist"
rm -f config.cache
# XXX edit CFLAGS= ... out of invocation args ???
-ARGS="`echo $* | sed -e 's% [^ ]*CFLAGS=[^ ]*%%' -e 's% -[^-][^ ]*%%g' -e 's% --param=[^ ]*%%g' -e 's%--cache-file=.*$%%'`"
+ARGS="`echo $* | sed -e 's%--param[ =][^ ]*%%g' -e 's% [^ ]*CFLAGS=[^ ]*%%' -e 's% -[^-][^ ]*%%g' -e 's%--cache-file=.*$%%'`"
CC="$CC" CFLAGS="$CFLAGS" $db_dist/configure $ARGS \
--enable-shared --enable-static --enable-rpc \
|
GitWeb
