diff options
author | Paolo Bonzini <pbonzini@redhat.com> | 2021-10-07 15:08:26 +0200 |
---|---|---|
committer | Paolo Bonzini <pbonzini@redhat.com> | 2021-10-14 09:50:57 +0200 |
commit | 7bdf1f5a19132b1765482d73ee6e0782ffd374f3 (patch) | |
tree | 09953f8bda7c0d76e1c44666ab727a8ceb46c01a /configure | |
parent | bd87a36709096034bb8e9d12d2bf6ee1d003b6d7 (diff) |
configure: remove deprecated --{enable, disable}-git-update
The options were deprecated in 6.0. That said, we do not really have a
formal deprecation cycle for build-time changes, since they do not affect
users.
Reviewed-by: Marc-André Lureau <marcandre.lureau@redhat.com>
Message-Id: <20211007130829.632254-16-pbonzini@redhat.com>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 8 |
1 files changed, 0 insertions, 8 deletions
@@ -1483,14 +1483,6 @@ for opt do ;; --with-git=*) git="$optarg" ;; - --enable-git-update) - git_submodules_action="update" - echo "--enable-git-update deprecated, use --with-git-submodules=update" - ;; - --disable-git-update) - git_submodules_action="validate" - echo "--disable-git-update deprecated, use --with-git-submodules=validate" - ;; --with-git-submodules=*) git_submodules_action="$optarg" ;; |