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
..
2016-06-01 17:27:35 +08:00
run
2016-06-01 17:27:35 +08:00
2016-06-01 17:27:35 +08:00
2016-06-01 17:27:35 +08:00
2016-06-01 17:27:35 +08:00
2016-06-01 17:27:35 +08:00
2016-06-01 17:27:35 +08:00
2016-06-01 17:27:35 +08:00