diff -r 155cd224b51d -r 5706694c17c4 test/configure --- a/test/configure Sat Nov 02 14:23:45 2024 +0100 +++ b/test/configure Tue Nov 12 16:53:27 2024 +0100 @@ -582,6 +582,9 @@ unset FEATURE_PG fi fi +if [ -n "$FEATURE_PG" ]; then + : +fi if [ -n "${TEMP_CFLAGS}" ] && [ -n "$lang_c" ]; then