diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-12-13 02:52:23 -0500 |
|---|---|---|
| committer |  Jason Gross <jasongross9@gmail.com> | 2018-01-16 09:06:57 +0100 |
| commit | 12ff6daadb3b53c07f10b8ba726ae4694a312573 (patch) | |
| tree | d08357441b03865643b39a9165bec123147c6d25 /extract-function-header.sh | |
| parent | e189b6c84a085f1e509becaa8fb4eac0132f3bfe (diff) | |
Attempt to build travis in stages
Hopefully this will lead to overall faster builds
Also:
- try to allow failures
- Version-specific vo caches
- Make archives stage-specific
This way, if multiple branches are running stages at the same time, they
don't have as much a chance of clobbering each others builds.
Diffstat (limited to 'extract-function-header.sh')
0 files changed, 0 insertions, 0 deletions