Fam Zheng 35e0f959b5 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

2016-06-01 17:27:35 +08:00

..

dockerfiles

…

common.rc

docker: Add EXTRA_CONFIGURE_OPTS

2016-06-01 17:27:35 +08:00

docker.py

…

Makefile.include

docker: Add EXTRA_CONFIGURE_OPTS

2016-06-01 17:27:35 +08:00

run

…

test-clang

…

test-full

…

test-mingw

docker: Add mingw test

2016-06-01 17:27:35 +08:00

test-quick

…

travis

docker: Add travis tool

2016-06-01 17:27:35 +08:00

travis.py

docker: Add travis tool

2016-06-01 17:27:35 +08:00