summaryrefslogtreecommitdiff
path: root/configure.in
diff options
context:
space:
mode:
authorBruce Momjian2012-08-30 20:26:53 +0000
committerBruce Momjian2012-08-30 20:26:53 +0000
commit381a9ed66d8a601eb972be172e7251ca7f0e9d78 (patch)
tree67d32ad436304b8de5fe2a72ea60f1e3f006d79d /configure.in
parent9bedfbd02b48096f435c5b111591d4e5b717e547 (diff)
Remove configure flag --disable-shared, as it is no longer used by any
port. The last use was QNX, per Peter Eisentraut.
Diffstat (limited to 'configure.in')
-rw-r--r--configure.in7
1 files changed, 0 insertions, 7 deletions
diff --git a/configure.in b/configure.in
index fa48a2b2074..3acefa17976 100644
--- a/configure.in
+++ b/configure.in
@@ -164,13 +164,6 @@ AC_DEFINE_UNQUOTED(DEF_PGPORT_STR, "${default_port}",
AC_SUBST(default_port)
#
-# Option to disable shared libraries
-#
-PGAC_ARG_BOOL(enable, shared, yes,
- [do not build shared libraries])
-AC_SUBST(enable_shared)
-
-#
# '-rpath'-like feature can be disabled
#
PGAC_ARG_BOOL(enable, rpath, yes,