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

2020-07-28 Thread George Dunlap
> On Jul 27, 2020, at 5:04 PM, Julien Grall wrote: > > Hmmm I forgot to CC George. Sorry for that. > > On 27/07/2020 17:04, Julien Grall wrote: >> From: Julien Grall >> The operator + will just concatenate two strings. As the result, the >> configure cmdline for "xentools" will look like: >>

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

2020-07-27 Thread Julien Grall
Hmmm I forgot to CC George. Sorry for that. On 27/07/2020 17:04, Julien Grall wrote: From: Julien Grall 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-

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

2020-07-27 Thread Julien Grall
From: Julien Grall 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