« Previous | Next » 

Revision 6bde81cb

ID6bde81cb03898b725ae6f94050aa060772c836e8

Added by Paolo Bonzini almost 14 years ago

configure: ignore unknown --xyzdir options

Signed-off-by: Paolo Bonzini <>
Signed-off-by: Aurelien Jarno <>

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences