Better diff display

This commit is contained in:
Jeremy Benoist
2020-11-25 11:42:12 +01:00
parent a03a49294a
commit d9bc425e1a

View File

@ -37,6 +37,6 @@ jobs:
if [ "$GITDIFF" == "" ]; then if [ "$GITDIFF" == "" ]; then
exit 0 exit 0
else else
echo $GITDIFF git diff
exit 1 exit 1
fi fi