diff --git a/script/lint b/script/lint index ab7561b9a5b..102dd84a407 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 "=================================================" - echo $files + printf "%s\n" $files echo "================" echo "LINT with flake8" echo "================"