diff -r 5706694c17c4 -r d89b75fdf0aa test/configure --- a/test/configure Tue Nov 12 16:53:27 2024 +0100 +++ b/test/configure Tue Nov 12 17:00:51 2024 +0100 @@ -584,6 +584,8 @@ fi if [ -n "$FEATURE_PG" ]; then : +else + : fi