diff -r 27f8a41882a7 -r fedd0f957c31 configure --- a/configure Tue Aug 13 21:50:16 2019 +0200 +++ b/configure Tue Aug 13 21:55:10 2019 +0200 @@ -259,7 +259,8 @@ if [ -z "$PKG_CONFIG" ]; then break fi - if ! $PKG_CONFIG libpq ; then + $PKG_CONFIG libpq + if [ $? -ne 0 ] ; then break fi CFLAGS="$CFLAGS `$PKG_CONFIG --cflags libpq`" @@ -280,7 +281,8 @@ if [ -z "$PKG_CONFIG" ]; then break fi - if ! $PKG_CONFIG openssl ; then + $PKG_CONFIG openssl + if [ $? -ne 0 ] ; then break fi CFLAGS="$CFLAGS `$PKG_CONFIG --cflags openssl`" @@ -301,7 +303,8 @@ if [ -z "$PKG_CONFIG" ]; then break fi - if ! $PKG_CONFIG libxml-2.0 ; then + $PKG_CONFIG libxml-2.0 + if [ $? -ne 0 ] ; then break fi CFLAGS="$CFLAGS `$PKG_CONFIG --cflags libxml-2.0`"