Merge pull request #4222 from jernejsk/gdb

gdb: fix expat search on some hosts
This commit is contained in:
MilhouseVH 2020-02-22 07:01:58 +00:00 committed by GitHub
commit d8b1f40cd6
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -22,6 +22,7 @@ PKG_CONFIGURE_OPTS_TARGET="bash_cv_have_mbstate_t=set \
--with-intel-pt=no \ --with-intel-pt=no \
--with-babeltrace=no \ --with-babeltrace=no \
--with-expat=yes \ --with-expat=yes \
--with-libexpat-prefix=${SYSROOT_PREFIX}/usr \
--disable-source-highlight \ --disable-source-highlight \
--disable-nls \ --disable-nls \
--disable-sim \ --disable-sim \