commit | 35e0f959b51dd8d4df0add9c01bff29ec74828ea | [log] [tgz] |
---|---|---|
author | Fam Zheng <famz@redhat.com> | Wed Jun 01 12:25:27 2016 +0800 |
committer | Fam Zheng <famz@redhat.com> | Wed Jun 01 17:27:35 2016 +0800 |
tree | 1f27c7c61263ddb89d03195aa0df420476424396 | |
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