diff options
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 5 |
1 files changed, 2 insertions, 3 deletions
@@ -3812,9 +3812,8 @@ if test "${enable_contrib_install+set}" = set; then : | |||
3812 | fi | 3812 | fi |
3813 | 3813 | ||
3814 | if test "x$enable_contrib_install" = "xno"; then : | 3814 | if test "x$enable_contrib_install" = "xno"; then : |
3815 | HAVE_CONTRIB_INSTALL="no" | 3815 | |
3816 | else | 3816 | HAVE_CONTRIB_INSTALL="no" |
3817 | HAVE_CONTRIB_INSTALL="yes" | ||
3818 | 3817 | ||
3819 | fi | 3818 | fi |
3820 | 3819 | ||