diff options
| author | Dario Ernst | 2018-01-27 22:35:21 +0100 |
|---|---|---|
| committer | Dario Ernst | 2018-01-29 19:49:04 +0100 |
| commit | 31f1db4100d639933595fe2cc7c538bef1f48f3d (patch) | |
| tree | e00ef00b87813db2a91faaa74abed79d342e4b6b /.gitignore | |
| parent | 9e0359e079404f9f661ad259e599ce5aa256b6ed (diff) | |
Make travis run shellcheck only on shellscripts
There are only a few scripts in bin/, but not all might be shell. At
least for the moment, it seems reasonable to explicitely enumerate all
shell-scripts in bin/ for shellcheck …
Signed-off-by: Dario Ernst <dario@kanojo.de>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions