On Thu, Oct 7, 2021 at 5:23 PM Paolo Bonzini wrote: > 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. > > Signed-off-by: Paolo Bonzini > Reviewed-by: Marc-André Lureau > --- > configure | 8 -------- > 1 file changed, 8 deletions(-) > > diff --git a/configure b/configure > index 33d330dcc9..d00ba0cbd2 100755 > --- a/configure > +++ b/configure > @@ -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" > ;; > -- > 2.31.1 > > > > -- Marc-André Lureau