[12/14] ignore unknown --xyzdir options

Submitted by Paolo Bonzini on May 26, 2010, 2:08 p.m.

Details

Message ID 1274882909-9800-13-git-send-email-pbonzini@redhat.com
State New
Headers show

Commit Message

Paolo Bonzini May 26, 2010, 2:08 p.m.
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
---
 configure |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)

Patch hide | download patch | download mbox

diff --git a/configure b/configure
index 2e59f9b..b036c40 100755
--- a/configure
+++ b/configure
@@ -673,6 +673,8 @@  for opt do
   ;;
   --enable-vhost-net) vhost_net="yes"
   ;;
+  --*dir)
+  ;;
   *) echo "ERROR: unknown option $opt"; show_help="yes"
   ;;
   esac