commit | 6f3ae23b29ad5831902e3ecdc7e443bbbf295bde | [log] [tgz] |
---|---|---|
author | Paolo Bonzini <pbonzini@redhat.com> | Tue May 30 16:03:50 2023 +0200 |
committer | Paolo Bonzini <pbonzini@redhat.com> | Tue Jun 06 16:30:01 2023 +0200 |
tree | 82599fa79d325c41b6d593182d15ce2e96862913 | |
parent | 1f468152fb2d461f2a5f8838a3bea9fd6aaa2207 [diff] |
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>