diff --git a/script/lint b/script/lint index b16b92a45b4..a024562e824 100755 --- a/script/lint +++ b/script/lint @@ -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