Re: [[XSATOOL]] repo: Add missing spaces in the configure cmdline for "xentools"

[George Dunlap <George.Dunlap@xxxxxxxxxx>]

> On Jul 27, 2020, at 5:04 PM, Julien Grall <julien@xxxxxxx> wrote:
> 
> Hmmm I forgot to CC George. Sorry for that.
> 
> On 27/07/2020 17:04, Julien Grall wrote:
>> From: Julien Grall <jgrall@xxxxxxxxxx>
>> The operator + will just concatenate two strings. As the result, the
>> configure cmdline for "xentools" will look like:
>> ./configure --disable-stubdom 
>> --disable-qemu-traditional--with-system-qemu=/bin/false 
>> --with-system-seabios=/bin/false--disable-ovmf
>> This can be avoided by explicitely adding the spaces.
>> Signed-off-by: Julien Grall <jgrall@xxxxxxxxxx>

Oops — thanks.

Reviewed-by: George Dunlap <george.dunlap@xxxxxxxxxx>