diff options
| author | MarcoFalke <falke.marco@gmail.com> | 2018-02-10 09:16:17 -0500 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2018-02-15 16:00:38 +0100 |
| commit | e2431d144aa84909b106a767634126ad5821dc90 (patch) | |
| tree | 32618105a08daba3f25b512c7c5154f1f2899525 | |
| parent | f8938248ef37f67986e36ef897a548123b2d7a36 (diff) | |
travis: Full clone for git subtree check
Github-Pull: #12388
Tree-SHA512: 8dc7fd5619e60674021ef58f384ddaa2b0d49a88f8babab03697ab19819954f9521de0ede7398661be670ce6339bfea436b10ad916b72f194e18efdb3721c08d
| -rw-r--r-- | .travis.yml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.travis.yml b/.travis.yml index 0332a0e204..b36c804af0 100644 --- a/.travis.yml +++ b/.travis.yml @@ -7,6 +7,8 @@ cache: - depends/built - depends/sdk-sources - $HOME/.ccache +git: + depth: false # full clone for git subtree check env: global: - MAKEJOBS=-j3 |