check_format.sh

This commit is contained in:
Alejandro Javier Asenjo Nitti 2023-10-16 14:57:33 -03:00
parent 7069284fe8
commit e1180d9ea9

23
tools/check_format.sh Executable file
View File

@ -0,0 +1,23 @@
#!/bin/bash
STATUSOLD=`git status --porcelain`
./tools/format.py -j
if [ $? -ne 0 ]
then
echo "Formatter failed. Exiting."
exit -1
fi
STATUSNEW=`git status --porcelain`
if [ "${STATUSOLD}" != "${STATUSNEW}" ];
then
echo ""
echo "Misformatted files found. Run ./tools/format.py and verify codegen is not impacted."
echo ""
diff --unified=0 --label "Old git status" <(echo "${STATUSOLD}") --label "New git status" <(echo "${STATUSNEW}")
echo ""
echo "Exiting."
exit 1
fi
exit 0