From f51a3738aa4041e7c4bd199d4f17c6f54129d0f0 Mon Sep 17 00:00:00 2001 From: Adam Mills Date: Sat, 24 Feb 2018 22:11:49 -0500 Subject: [PATCH] Check if $files is empty, don't try to execute it (#12651) --- script/lint | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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