On Fri, 09/22 17:49, Paolo Bonzini wrote:
> diff --git a/tests/docker/common.rc b/tests/docker/common.rc
> index 6865689..1522aab 100755
> --- a/tests/docker/common.rc
> +++ b/tests/docker/common.rc
> @@ -36,3 +36,11 @@ build_qemu()
> $QEMU_SRC/configure $config_opts
> make $MAKEFLAGS
> }
> +
> +install_qemu()
> +{
> + make install $MAKEFLAGS DESTDIR=$PWD/=destdir
Why provide DESTDIR? build_qemu already has "--prefix=$INSTALL_DIR", can a
simple "make install $MAKEFLAGS" work? Is there a permission problem?
> + ret=$?
> + rm -rf $PWD/=destdir
Why is this cleanup needed given the container will go away anyway?
Fam
