diff options
| author | Julian Andres Klode <jak@debian.org> | 2017-01-24 19:28:51 +0100 |
|---|---|---|
| committer | Julian Andres Klode <jak@debian.org> | 2017-02-22 16:53:46 +0100 |
| commit | 92ec321709d5da32cf2de04dbf897137ead7bb6b (patch) | |
| tree | 8f0d83edcb1aa88ce4cc151f630843cacd21f37d /CMake/run_if_exists.sh | |
| parent | e12dbcbaf486d176762d82f75307b9f5dfa66752 (diff) | |
travis: Do not build documentation in root job
This speeds up testing things as root, which is good, because
we usually test as user.
Gbp-Dch: ignore
(cherry picked from commit 17dadc40aefbbdd002b864edd157e4795e54fba3)
Diffstat (limited to 'CMake/run_if_exists.sh')
0 files changed, 0 insertions, 0 deletions