configure: ignore unknown --xyzdir options

Signed-off-by: Paolo Bonzini <pbonzini@redhat.com> Signed-off-by: Aurelien Jarno <aurelien@aurel32.net>
2010-05-26 16:08:27 +02:00 · 2010-05-26 16:08:27 +02:00 · 6bde81cb03
parent 0b24e75f85
commit 6bde81cb03
1 changed files with 2 additions and 0 deletions
--- a/2
+++ b/2
@ -673,6 +673,8 @@ for opt do
  ;;
  --enable-vhost-net) vhost_net="yes"
  ;;
+  --*dir)
+  ;;
  *) echo "ERROR: unknown option $opt"; show_help="yes"
  ;;
  esac