| commit | 6bde81cb03898b725ae6f94050aa060772c836e8 | [log] [tgz] |
|---|---|---|
| author | Paolo Bonzini <pbonzini@redhat.com> | Wed May 26 16:08:27 2010 +0200 |
| committer | Aurelien Jarno <aurelien@aurel32.net> | Thu Jun 10 00:09:50 2010 +0200 |
| tree | 4027df8bb2326be3468bfaa74ffe6fbe022219e6 | |
| parent | 0b24e75f85c251b7ae699631768f129ddf03ae5e [diff] [blame] |
configure: ignore unknown --xyzdir options Signed-off-by: Paolo Bonzini <pbonzini@redhat.com> Signed-off-by: Aurelien Jarno <aurelien@aurel32.net>
diff --git a/configure b/configure index 5eb3ecd..fa1b2d0 100755 --- a/configure +++ b/configure
@@ -673,6 +673,8 @@ ;; --enable-vhost-net) vhost_net="yes" ;; + --*dir) + ;; *) echo "ERROR: unknown option $opt"; show_help="yes" ;; esac