diff options
| author | Fam Zheng <famz@redhat.com> | 2016-06-01 12:25:25 +0800 |
|---|---|---|
| committer | Fam Zheng <famz@redhat.com> | 2016-06-01 17:27:35 +0800 |
| commit | d5bd7891980926c075604ec6a1fd530301771443 (patch) | |
| tree | a5e2a0c127a56b4ab3950955413c995b5b7feceb /docs | |
| parent | c4f0eed1f33b107c08ae204ae06fd05b9b50410d (diff) | |
docker: Add travis tool
The script is not prefixed with test- so it won't run with "make docker-test",
because it can take too long.
Run it with "make docker-travis@ubuntu".
Reviewed-by: Alex Bennée <alex.bennee@linaro.org>
Signed-off-by: Fam Zheng <famz@redhat.com>
Message-id: 1464755128-32490-13-git-send-email-famz@redhat.com
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions