From f3e7ab4b963f075136efdba3806281643eea2669 Mon Sep 17 00:00:00 2001 From: Alessandro Comodi Date: Thu, 3 Mar 2022 14:27:59 +0100 Subject: [PATCH] ci: differentiate patch file per different part Signed-off-by: Alessandro Comodi --- .github/workflows/scripts/db.sh | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/.github/workflows/scripts/db.sh b/.github/workflows/scripts/db.sh index c66a6d95..5a6aaa73 100755 --- a/.github/workflows/scripts/db.sh +++ b/.github/workflows/scripts/db.sh @@ -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 "----------------------------------------"