diff -r 096f3105b3b1 -r 78ee95836412 src/test/resources/golden-sample/configure --- a/src/test/resources/golden-sample/configure Sun Sep 10 14:29:20 2023 +0200 +++ b/src/test/resources/golden-sample/configure Tue Sep 12 20:12:22 2023 +0200 @@ -31,6 +31,7 @@ touch "$TEMP_DIR/features" # features +FEATURE_PG=auto # help text printhelp() @@ -57,7 +58,7 @@ --mandir=DIR man documentation [DATAROOTDIR/man] Optional Features: - --enable-pg + --disable-pg __EOF__ } @@ -244,7 +245,7 @@ if [ -z "$PKG_CONFIG" ]; then break fi - $PKG_CONFIG libpq + $PKG_CONFIG libpqx if [ $? -ne 0 ] ; then break fi @@ -400,6 +401,8 @@ if [ "$FEATURE_PG" != "auto" ]; then DEPENDENCIES_FAILED="$DEPENDENCIES_FAILED libpq " ERROR=1 + else + unset FEATURE_PG fi fi fi @@ -429,6 +432,12 @@ echo "Build Config:" echo " PREFIX: $PREFIX" echo " TOOLCHAIN: $TOOLCHAIN_NAME" +echo "Features:" +if [ -n "$FEATURE_PG" ]; then +echo " pg: on" +else +echo " pg: off" +fi echo cat "$TEMP_DIR/config.mk" "$TEMP_DIR/make.mk" > config.mk rm -Rf "$TEMP_DIR"