ci: differentiate patch file per different part

Signed-off-by: Alessandro Comodi <acomodi@antmicro.com>
This commit is contained in:
Alessandro Comodi 2022-03-03 14:27:59 +01:00
parent 2eb77e4663
commit f3e7ab4b96
1 changed files with 3 additions and 2 deletions

View File

@ -129,13 +129,14 @@ echo "----------------------------------------"
echo "----------------------------------------"
echo " Saving diff output"
echo "----------------------------------------"
PATCH_FILE=diff.${XRAY_SETTINGS}.patch
# Patch file
git diff \
--patch-with-stat --no-color --irreversible-delete --find-renames --find-copies origin/master \
> diff.patch
> $PATCH_FILE
MAX_DIFF_LINES=50000
DIFF_LINES="$(wc -l diff.patch | sed -e's/ .*$//')"
DIFF_LINES="$(wc -l $PATCH_FILE | sed -e's/ .*$//')"
if [ $DIFF_LINES -gt $MAX_DIFF_LINES ]; then
echo
echo "----------------------------------------"