On 10/30/20 11:26 AM, Paolo Bonzini wrote: > On 30/10/20 01:49, Richard Henderson wrote: >> Fourth, I have renamed the command-line parameter to "split-rwx". > > Stupid observation, but wouldn't it be "split-wx"?
Um, yes. ;-) r~
On 10/30/20 11:26 AM, Paolo Bonzini wrote: > On 30/10/20 01:49, Richard Henderson wrote: >> Fourth, I have renamed the command-line parameter to "split-rwx". > > Stupid observation, but wouldn't it be "split-wx"?
Um, yes. ;-) r~