On 10 janv. 2010, at 15:02, Avi Kivity wrote: > On 12/01/2009 03:53 PM, Pierre Riteau wrote: >> Signed-off-by: Pierre Riteau<Pierre.Riteau@xxxxxxxx> >> --- >> configure | 8 ++++---- >> 1 files changed, 4 insertions(+), 4 deletions(-) >> >> diff --git a/configure b/configure >> index 376c458..85f7b5e 100755 >> --- a/configure >> +++ b/configure >> @@ -723,10 +723,10 @@ echo " --disable-bluez disable bluez stack connectivity" >> echo " --enable-bluez enable bluez stack connectivity" >> echo " --disable-kvm disable KVM acceleration support" >> echo " --enable-kvm enable KVM acceleration support" >> -echo " --disable-cap-kvm-pit disable KVM pit support" >> -echo " --enable-cap-kvm-pit enable KVM pit support" >> -echo " --disable-cap-device-assignment disable KVM device assignment support" >> -echo " --enable-cap-device-assignment enable KVM device assignment support" >> +echo " --disable-kvm-cap-pit disable KVM pit support" >> +echo " --enable-kvm-cap-pit enable KVM pit support" >> +echo " --disable-kvm-cap-device-assignment disable KVM device assignment support" >> +echo " --enable-kvm-cap-device-assignment enable KVM device assignment support" >> echo " --disable-nptl disable usermode NPTL support" >> echo " --enable-nptl enable usermode NPTL support" >> echo " --enable-system enable all system emulation targets" >> > > Not sure the new names are any better than the old ones. I'm not sure I understand... I fixed the names in the help output to make them consistent with the options actually recognized by configure. If you don't like the names you are free to change them: just make sure that both the code and the help text are modified. -- Pierre Riteau -- http://perso.univ-rennes1.fr/pierre.riteau/ -- To unsubscribe from this list: send the line "unsubscribe kvm" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
