tree db032d9e8bae0f2099684cfb2a52dd908266c5f2
parent 37337eb8cc4df9887e1847dc10e4206d69e1c68c
author David 'Digit' Turner <digit@google.com> 1399981728 +0200
committer David 'Digit' Turner <digit@google.com> 1405690305 +0200

Update <qemu/option.h>

Change-Id: Ic05c9302b47e52aa342595db74d34adf877bffb6