Jonathan Lange 7a35f21ea3 Squashed 'tools/' changes from 7a66090..8c6170d ...

8c6170d Fix lint in all the build-tools scripts
239935c shell-lint tool
d9ab133 Script for finding files with a given type
1b64e46 Add Weave Cloud client
f2e40b4 Time out commands after three minutes
2da55ce Don't spell-check compressed files
e9749a5 Make scheduler aware of test parallelisation

git-subtree-dir: tools
git-subtree-split: 8c6170d292

2016-07-12 14:21:55 +01:00

..

cover.go

Squashed 'tools/' content from commit 58c9a39

2015-10-26 15:13:15 +00:00

gather_coverage.sh

Squashed 'tools/' changes from 7a66090..8c6170d

2016-07-12 14:21:55 +01:00

Makefile

Squashed 'tools/' content from commit 58c9a39

2015-10-26 15:13:15 +00:00