diff options
author | Pedro Magalhães <mail@pmmaga.net> | 2018-02-06 19:16:22 +0000 |
---|---|---|
committer | Joe <krakjoe@php.net> | 2018-02-08 10:50:22 +0100 |
commit | 5673c641dc30610e7e2fcca2e9b61761e4608ffc (patch) | |
tree | 7143149e280b885a3c5880883bb3da7dbc0fb6b6 /ext/dom | |
parent | 8000334538c53090067246fea9411701cae8c6d5 (diff) | |
download | php-git-5673c641dc30610e7e2fcca2e9b61761e4608ffc.tar.gz |
Fixes bug #75871 Use pkg-config for libxml2 if available
Diffstat (limited to 'ext/dom')
-rw-r--r-- | ext/dom/config.m4 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ext/dom/config.m4 b/ext/dom/config.m4 index 7882483b30..5ea62ad24c 100644 --- a/ext/dom/config.m4 +++ b/ext/dom/config.m4 @@ -33,6 +33,6 @@ if test "$PHP_DOM" != "no"; then PHP_INSTALL_HEADERS([ext/dom/xml_common.h]) PHP_ADD_EXTENSION_DEP(dom, libxml) ], [ - AC_MSG_ERROR([xml2-config not found. Please check your libxml2 installation.]) + AC_MSG_ERROR([libxml2 not found. Please check your libxml2 installation.]) ]) fi |