chg: Update validate all.

pull/145/head
Raphaël Vinot 2020-04-03 13:39:18 +02:00
parent 300d823638
commit 4315ca3232
1 changed files with 4 additions and 0 deletions

View File

@ -3,6 +3,10 @@
set -e
set -x
pushd tools
python3 make_list_unique.py
popd
./jq_all_the_things.sh
diffs=`git status --porcelain | wc -l`