Merge pull request #2218 from jernejsk/heimdal_fix

heimdal: Disable OTP
This commit is contained in:
MilhouseVH 2017-11-16 02:47:15 +00:00 committed by GitHub
commit 298a1c2510
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -43,6 +43,7 @@ PKG_CONFIGURE_OPTS_HOST="--enable-static --disable-shared \
--without-libedit \
--without-hesiod \
--without-x \
--disable-otp \
--with-db-type-preference= \
--disable-heimdal-documentation"