diff options
Diffstat (limited to 'configure.in')
| -rw-r--r-- | configure.in | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/configure.in b/configure.in index 0f5193e717..19a2c1a0f0 100644 --- a/configure.in +++ b/configure.in @@ -104,14 +104,6 @@ AC_ARG_ENABLE([sanity-checks], [enable_sanity=$enableval], [enable_sanity=yes]) -AC_SUBST(enable_check_abi) -AC_ARG_ENABLE([check-abi], - AC_HELP_STRING([--enable-check-abi], - [do "make check-abi" in "make check" (no/warn/yes) - @<:@default=no@:>@]), - [enable_check_abi=$enableval], - [enable_check_abi=no]) - AC_ARG_ENABLE([shared], AC_HELP_STRING([--enable-shared], [build shared library @<:@default=yes if GNU ld@:>@]), |