[PULL 11/24] configure: remove backwards-compatibility and obsolete options

2023-01-07 Thread Paolo Bonzini
Reviewed-by: Marc-André Lureau Signed-off-by: Paolo Bonzini --- configure | 20 --- .../ci/org.centos/stream/8/x86_64/configure | 2 +- 2 files changed, 1 insertion(+), 21 deletions(-) diff --git a/configure b/configure index 3f7d07d4bece..

[PULL 11/24] configure: remove backwards-compatibility and obsolete options

2022-12-21 Thread Paolo Bonzini
Reviewed-by: Marc-André Lureau Signed-off-by: Paolo Bonzini --- configure | 20 1 file changed, 20 deletions(-) diff --git a/configure b/configure index 4958ac99bcef..0667dde1654c 100755 --- a/configure +++ b/configure @@ -843,17 +843,6 @@ for opt do ;; --with-corouti