mirror of
https://github.com/libretro/libretro-super.git
synced 2024-06-02 19:38:30 -04:00
libretro-buildbot-recipe.sh: Check if the HEAD commit is new or not.
Newer git versions now report 'Already up to date.' instead of 'Already up-to-date' so we need a more robust solution.
This commit is contained in:
parent
2f56bbc8c7
commit
e3a38f76e1
|
@ -812,10 +812,10 @@ while read line; do
|
|||
fi
|
||||
|
||||
echo "pulling changes from repo $URL..."
|
||||
OUT="$(git pull)"
|
||||
echo "$OUT"
|
||||
HEAD="$(git rev-parse HEAD)"
|
||||
git pull
|
||||
|
||||
if [[ $OUT == *"Already up-to-date"* ]] && [ "${BUILD}" != "YES" ]; then
|
||||
if [ "$HEAD" = "$(git rev-parse HEAD)" ] && [ "${BUILD}" != "YES" ]; then
|
||||
BUILD="NO"
|
||||
else
|
||||
echo "resetting repo state $URL..."
|
||||
|
@ -944,12 +944,12 @@ buildbot_pull(){
|
|||
fi
|
||||
|
||||
echo "pulling changes from repo $URL... "
|
||||
OUT=`git pull`
|
||||
echo $OUT
|
||||
HEAD="$(git rev-parse HEAD)"
|
||||
git pull
|
||||
|
||||
if [ "${TYPE}" = "PROJECT" ]; then
|
||||
RADIR=$DIR
|
||||
if [[ $OUT == *"Already up-to-date"* ]] && [ ! "${BUILD}" = "YES" ]; then
|
||||
if [ "$HEAD" = "$(git rev-parse HEAD)" ] && [ "${BUILD}" != "YES" ]; then
|
||||
BUILD="NO"
|
||||
else
|
||||
echo "resetting repo state $URL... "
|
||||
|
|
Loading…
Reference in a new issue