diff options
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/check_json_format.sh | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/tools/check_json_format.sh b/tools/check_json_format.sh index ac73dc42..62f7d6cd 100755 --- a/tools/check_json_format.sh +++ b/tools/check_json_format.sh @@ -5,8 +5,7 @@ # requires python 3.9 for --indent # file=$1 -before=$(cat "$file") -python3 -m json.tool --indent 2 "$file" "$file" -after=$(cat "$file") -test "$before" = "$after" -exit $? +before=$(cat "$file") && + python3 -m json.tool --indent 2 "$file" "$file" && + after=$(cat "$file") && + test "$before" = "$after" |