tree 82599fa79d325c41b6d593182d15ce2e96862913
parent 1f468152fb2d461f2a5f8838a3bea9fd6aaa2207
author Paolo Bonzini <pbonzini@redhat.com> 1685455430 +0200
committer Paolo Bonzini <pbonzini@redhat.com> 1686061801 +0200

configure: remove --with-git-submodules=

Reuse --enable/--disable-download to control git submodules as well.
Adjust the error messages of git-submodule.sh to refer to the new
option.

Reviewed-by: Daniel P. Berrangé <berrange@redhat.com>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>