diff -r e43d30273f74 -r c997c0978665 test/make/configure.vm --- a/test/make/configure.vm Tue Sep 19 19:29:19 2023 +0200 +++ b/test/make/configure.vm Wed Sep 20 18:41:58 2023 +0200 @@ -476,13 +476,16 @@ if dependency_error_$dependency ; then # "auto" features can fail and are just disabled in this case if [ "$${feature.getVarName()}" = "auto" ]; then - unset ${feature.getVarName()} - else + DISABLE_${feature.getVarName()}=1 + else DEPENDENCIES_FAILED="$DEPENDENCIES_FAILED ${dependency} " ERROR=1 fi fi #end + if [ -n "$DISABLE_${feature.getVarName()}" ]; then + unset ${feature.getVarName()} + fi fi #end