[ci] Improve report of files missing from .gitignore
commit8fd82789c70ea41fe13d7d8439c3c6d0e1486919
authorOlly Betts <olly@survex.com>
Wed, 18 Apr 2018 23:48:46 +0000 (19 11:48 +1200)
committerOlly Betts <olly@survex.com>
Wed, 18 Apr 2018 23:48:46 +0000 (19 11:48 +1200)
treed91fcb8f5486f1be300b7025647c8ae4be5698a4
parent9075415ba177576dc43bf56a69b4e52d6ea88c82
[ci] Improve report of files missing from .gitignore

Run git status just once, and sniff whether it produced output by
piping through grep -F ''.  The porcelain output just lists the
files without potentially confusing verbiage talking about "git add".

Thanks to Uppinder Chugh for feedback on these messages.
.travis.yml