Applies tools changes from:
commit 7f46b90e27
Author: Krzesimir Nowak <krzesimir@kinvolk.io>
Date: Thu Jul 21 11:55:08 2016 +0200
Make LatestMap "generic"
This commit makes the LatestMap type a sort of a base class, that
should not be used directly. This also adds a generator for LatestMap
"concrete" types with a specific data type in the LatestEntry.
commit 0f1cb82084
Author: Krzesimir Nowak <krzesimir@kinvolk.io>
Date: Thu Jul 28 14:26:08 2016 +0200
Allow testing only a subset of directories
This can be done by calling TESTDIRS="./report ./probe" make tests
commit 97eb8d033d
Author: Krzesimir Nowak <krzesimir@kinvolk.io>
Date: Thu Aug 4 11:44:21 2016 +0200
Do not spell check Makefiles and JSON files
Spell check does not handle JSON files very well. It finds misspelled
words in hexadecimal hashes (like misspelled "dead" in "123daed456").
Ignore Makefiles too - there is not so much free text to spell check
and the spell check complains about words it was told by Makefile to
This fixes the case where the provided paths do not contain any shell scripts,
ie. xargs is passed no values.
In this case by default, xargs invokes the command once with no args.
This causes shellcheck to print usage and exit failure.
The GNU-specific --no-run-if-empty changes the behaviour so that in this case,
shellcheck is simply never run.
This allows us to use this script as a general lint even in contexts where
no shell scripts are present, or none of the files passed are shell scripts.
We have divergent versions of this script across repos.
This particular version comes from 6334836@scope.
We in particular want this version's changes to support branches
with a '/' character in them.
This means we get to see their output up to the point they timed out,
and also means that we avoid CircleCI killing the entire job after
five minutes of inactivity.
