diff options
| author | Fam Zheng <famz@redhat.com> | 2016-09-21 11:49:25 +0800 |
|---|---|---|
| committer | Fam Zheng <famz@redhat.com> | 2016-09-23 11:48:32 +0800 |
| commit | 9445c28ec3753470554790debc6ac12609c3b733 (patch) | |
| tree | e139f690f4194727abcc711c3b4c335dd563a7ae | |
| parent | 3d3a6eb60d259a503ed771c878f777e2715d83db (diff) | |
docker: Print used options before doing configure
This makes the configure command more obvious which usually has useful
information.
Signed-off-by: Fam Zheng <famz@redhat.com>
Message-Id: <1474429768-25027-7-git-send-email-famz@redhat.com>
Reviewed-by: Daniel P. Berrange <berrange@redhat.com>
| -rwxr-xr-x | tests/docker/common.rc | 14 |
1 files changed, 8 insertions, 6 deletions
diff --git a/tests/docker/common.rc b/tests/docker/common.rc index 0c6d8d5ece..510a3ad3f4 100755 --- a/tests/docker/common.rc +++ b/tests/docker/common.rc @@ -23,11 +23,13 @@ requires() build_qemu() { - $QEMU_SRC/configure \ - --enable-werror \ - ${TARGET_LIST:+"--target-list=${TARGET_LIST}"} \ - --prefix="$PWD/install" \ - $EXTRA_CONFIGURE_OPTS \ - "$@" + config_opts="--enable-werror \ + ${TARGET_LIST:+--target-list=${TARGET_LIST}} \ + --prefix=$PWD/install \ + $EXTRA_CONFIGURE_OPTS \ + $@" + echo "Configure options:" + echo $config_opts + $QEMU_SRC/configure $config_opts make $MAKEFLAGS } |