diff --git a/Tools/astyle/check_code_style.sh b/Tools/astyle/check_code_style.sh index 24ee4565dc..b1154911ba 100755 --- a/Tools/astyle/check_code_style.sh +++ b/Tools/astyle/check_code_style.sh @@ -5,7 +5,7 @@ DIR=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd ) if [ -f "$FILE" ]; then CHECK_FAILED=$(${DIR}/fix_code_style.sh --dry-run --formatted $FILE) - if [[ $CHECK_FAILED ]]; then + if [ -n "$CHECK_FAILED" ]; then ${DIR}/fix_code_style.sh --quiet < $FILE > $FILE.pretty echo