diff options
author | Julian Andres Klode <jak@debian.org> | 2016-09-11 13:49:23 +0200 |
---|---|---|
committer | Julian Andres Klode <jak@debian.org> | 2016-09-11 13:49:23 +0200 |
commit | e09a8a611e27e1f08dbe8415dafa4679e5ab23fc (patch) | |
tree | 48ef2bb43f0c2eddd40a767a89173c5ab3157a30 /debian/source/options | |
parent | 561a3557e7fa6c4ed693c3bb486d189a468a8080 (diff) |
travis: use ninja and ccache for building
This cleans up the output a bit, it should also improve performance,
but unfortunately, this does not really seem to be the case.
Gbp-Dch: ignore
Diffstat (limited to 'debian/source/options')
0 files changed, 0 insertions, 0 deletions