2023-10-16 20:57:33 +03:00
|
|
|
#!/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 ""
|
2023-10-16 22:02:23 +03:00
|
|
|
echo "Misformatted files found. Run 'make format' and verify codegen is not impacted."
|
2023-10-16 20:57:33 +03:00
|
|
|
echo ""
|
|
|
|
|
diff --unified=0 --label "Old git status" <(echo "${STATUSOLD}") --label "New git status" <(echo "${STATUSNEW}")
|
|
|
|
|
echo ""
|
|
|
|
|
echo "Exiting."
|
|
|
|
|
exit 1
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
exit 0
|
