From ddb71cf43844f8848ae655ca696bdfc3fb7839f1 Mon Sep 17 00:00:00 2001
From: Patrick Gersch <gersch.patrick@gmail.com>
Date: Fri, 21 Oct 2022 14:27:08 +0200
Subject: [PATCH] Fixing wildcard in configure (#12)

---
 configure | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/configure b/configure
index eb950852fb..d485d32996 100755
--- a/configure
+++ b/configure
@@ -923,11 +923,6 @@ for opt do
       QEMU_CFLAGS="$QEMU_CFLAGS -fPIC -DAS_LIB=1"
       QEMU_CXXFLAGS="$QEMU_CXXFLAGS -fPIC -DAS_LIB=1"
   ;;
-  *)
-      echo "ERROR: unknown option $opt"
-      echo "Try '$0 --help' for more information"
-      exit 1
-  ;;
   # everything else has the same name in configure and meson
   --*) meson_option_parse "$opt" "$optarg"
   ;;