From c155d78d52cb63cc312ea10bd59027600919c1ca Mon Sep 17 00:00:00 2001 From: Aria Moradi Date: Thu, 21 Jan 2021 16:20:22 +0330 Subject: [PATCH] fix build? --- .github/scripts/commit-repo.sh | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/.github/scripts/commit-repo.sh b/.github/scripts/commit-repo.sh index 4a236a3a..94980809 100755 --- a/.github/scripts/commit-repo.sh +++ b/.github/scripts/commit-repo.sh @@ -3,11 +3,12 @@ set -e cp ../master/repo/server-r* . new_build=$(ls | tail -1) -diff $new_build server-latest.jar > /dev/null -if [ "$?" -ne 0 ]; then # same file? - rm $new_build + +diff $new_build server-latest.jar +if [ "$?" -eq 1 ]; then + cp -f $new_build server-latest.jar else - cp -f $new_build server-latest.jar + rm $new_build fi