diff options
| author | Fam Zheng <famz@redhat.com> | 2016-06-01 12:25:27 +0800 |
|---|---|---|
| committer | Fam Zheng <famz@redhat.com> | 2016-06-01 17:27:35 +0800 |
| commit | 35e0f959b51dd8d4df0add9c01bff29ec74828ea (patch) | |
| tree | 1f27c7c61263ddb89d03195aa0df420476424396 /tests/docker/common.rc | |
| parent | dc2e7eebd8603e36d63b6a1f5299bc49fe721b3b (diff) | |
docker: Add EXTRA_CONFIGURE_OPTS
Whatever passed in this variable will be appended to all
configure commands.
Signed-off-by: Fam Zheng <famz@redhat.com>
Reviewed-by: Alex Bennée <alex.bennee@linaro.org>
Message-id: 1464755128-32490-15-git-send-email-famz@redhat.com
Diffstat (limited to 'tests/docker/common.rc')
| -rwxr-xr-x | tests/docker/common.rc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tests/docker/common.rc b/tests/docker/common.rc index 74b89d6c1e..c493eebd45 100755 --- a/tests/docker/common.rc +++ b/tests/docker/common.rc @@ -26,6 +26,7 @@ build_qemu() $QEMU_SRC/configure \ --target-list="${TARGET_LIST}" \ --prefix="$PWD/install" \ + $EXTRA_CONFIGURE_OPTS \ "$@" make $MAKEFLAGS } |