Re: [PATCH] bootstrap: add bootstrap_sync option.

[Ralf Wildenhues]

* Paolo Bonzini wrote on Wed, Nov 17, 2010 at 01:22:25PM CET:
> On 11/15/2010 11:06 PM, Ralf Wildenhues wrote:
> >What might work is have bootstrap exec a temporary script that updates
> >bootstrap then exec's that again.
> 
> Something like this
> 
> exec sh -c 'mv tmp-script this-script; exec sh this-script "$@"' -- "$@"

That looks good to me, with '&&' instead of ';'.

Thanks,
Ralf