File tree 1 file changed +5
-5
lines changed
1 file changed +5
-5
lines changed Original file line number Diff line number Diff line change @@ -331,14 +331,14 @@ if [ ! -z "$PREBUILT_DIR" ]; then
331
331
cd $PREBUILT_DIR
332
332
for i in 1 2 3 4 5 6 7 8 9 10; do # Try 10 times.
333
333
if [ " $TRAVIS_BRANCH " = " master" ]; then
334
- echo
335
- echo " Updating unstable link (Try $i )"
336
- echo " ---------------------------------------------"
337
334
for PLATFORM in $PLATFORMS ; do
338
335
(
339
336
if [ ! -d " $PLATFORM /firmware" ]; then
340
337
continue
341
338
fi
339
+ echo
340
+ echo " Updating unstable link (Try $i )"
341
+ echo " ---------------------------------------------"
342
342
cd $PLATFORM /firmware
343
343
LATEST=" $( ls ../../archive/master/ | tail -n 1) "
344
344
HDMI2USB_FIRMWARE=" ../../archive/master/$LATEST /$PLATFORM /hdmi2usb/lm32"
@@ -362,15 +362,15 @@ if [ ! -z "$PREBUILT_DIR" ]; then
362
362
echo " Merging (Try $i )"
363
363
echo " ---------------------------------------------"
364
364
git fetch
365
- git merge origin/master -m " Merging #$TRAVIS_JOB_NUMBER of $GIT_REVISION "
365
+ git merge origin/master --stat --commit - m " Merging #$TRAVIS_JOB_NUMBER of $GIT_REVISION "
366
366
echo
367
367
echo " Changes to be pushed (Try $i )"
368
368
echo " ---------------------------------------------"
369
369
git diff origin/master --stat=1000,1000 --exit-code && break
370
370
echo
371
371
echo " Pushing (Try $i )"
372
372
echo " ---------------------------------------------"
373
- git push --quiet origin master > /dev/null 2>&1 && break
373
+ git push --quiet origin master > /dev/null 2>&1
374
374
done
375
375
echo
376
376
echo " Push finished!"
You can’t perform that action at this time.
0 commit comments