Check if $files is empty, don't try to execute it (#12651)

This commit is contained in:
Adam Mills 2018-02-24 22:11:49 -05:00 committed by GitHub
parent 6d431c3fc3
commit f51a3738aa
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -8,7 +8,7 @@ if [ "$1" = "--changed" ]; then
echo "================================================="
echo "FILES CHANGED (git diff upstream/dev... --name-only)"
echo "================================================="
if $files >/dev/null; then
if [ -z "$files" ] ; then
echo "No python file changed"
exit
fi