From 14df79a53f21cc5e59d7b79599ca72615e05fba2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Marjam=C3=A4ki?= Date: Fri, 3 Jul 2020 19:23:29 +0200 Subject: [PATCH] Travis: Use json.tool instead of jsonlint as there was some installation issues --- .travis.yml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/.travis.yml b/.travis.yml index 104f94c51..1552c56a5 100644 --- a/.travis.yml +++ b/.travis.yml @@ -35,7 +35,6 @@ before_install: - travis_retry python3 -m pip install --user pexpect # imported by tools/ci.py - travis_retry python3 -m pip install --user requests # imported by tools/pr.py - travis_retry python3 -m pip install --user pygments - - travis_retry sudo python3 -m pip install demjson # installs jsonlint => sudo required - travis_retry python3 -m pip install --user natsort - cp externals/z3_version_old.h externals/z3_version.h # because travis z3 version is old @@ -183,7 +182,7 @@ matrix: - make -s -j2 CXXFLAGS=-funsigned-char testrunner - ./testrunner TestSymbolDatabase # check .json files - - find . -name '*.json' -not -path '*/\.*' | xargs jsonlint -s + - find . -name '*.json' | xargs -n 1 python3 -m json.tool > /dev/null # build fuzz client - make -s -j2 CXXFLAGS="-fsanitize=address" -C oss-fuzz fuzz-client