replace jsonlint with json.tool

As proposed by Newbyte
rinigus · Jan 29, 2021 · 413046f · 413046f
1 parent 23247ca
commit 413046f
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 1 deletion.
diff --git a/Makefile.test b/Makefile.test
@@ -4,7 +4,7 @@ all: check test
 
 check:
 	python3 -m pyflakes geocoders guides poor routers
-	find . -type f -name "*.json" -exec jsonlint -q {} \;
+	find . -type f -name "*.json" -print0 | xargs -0 -n 1 tools/check-json
 
 test:
 	py.test geocoders guides poor routers

diff --git a/tools/check-json b/tools/check-json
@@ -0,0 +1,6 @@
+#!/bin/sh
+
+set -e
+
+echo Checking "$1"
+python -m json.tool "$1" > /dev/null || (echo Check failed && exit 255)