diff options
author | Alex Bennée | 2019-02-01 18:12:29 +0100 |
---|---|---|
committer | Alex Bennée | 2019-02-08 18:32:35 +0100 |
commit | 570f3c77287d742bcbebce590dc26d7178419ad3 (patch) | |
tree | 1e697cf20aa70b9b49aad35c95f0302ae1cb11d0 /tests/docker/docker.py | |
parent | .travis.yml: stop requesting libffi & gettext from homebrew (diff) | |
download | qemu-570f3c77287d742bcbebce590dc26d7178419ad3.tar.gz qemu-570f3c77287d742bcbebce590dc26d7178419ad3.tar.xz qemu-570f3c77287d742bcbebce590dc26d7178419ad3.zip |
.travis.yml: separate tools and docs into another entry
Re-building the tools and documents by default is a little wasteful as
they are not really affected by the main build options. Split tools
and documents into their own task with a minimal softmmu and
linux-user target list just to check they don't interact badly.
Signed-off-by: Alex Bennée <alex.bennee@linaro.org>
Reviewed-by: Philippe Mathieu-Daudé <philmd@redhat.com>
Diffstat (limited to 'tests/docker/docker.py')
0 files changed, 0 insertions, 0 deletions