File tree 1 file changed +8
-3
lines changed
1 file changed +8
-3
lines changed Original file line number Diff line number Diff line change @@ -345,7 +345,7 @@ if [ ! -z "$PREBUILT_DIR" ]; then
345
345
echo " Checking for '$HDMI2USB_FIRMWARE '"
346
346
if [ -d " $HDMI2USB_FIRMWARE " ]; then
347
347
echo " Changing $PLATFORM from '$( readlink unstable) ' to '$HDMI2USB_FIRMWARE '"
348
- ln -sf unstable " $HDMI2USB_FIRMWARE "
348
+ ln -sf " $HDMI2USB_FIRMWARE " unstable
349
349
git add unstable
350
350
git commit -a \
351
351
-m " Updating unstable link (Travis build #$TRAVIS_BUILD_NUMBER of $GIT_REVISION for PLATFORM=$PLATFORM TARGET=$TARGET CPU=$CPU )" \
@@ -366,11 +366,16 @@ if [ ! -z "$PREBUILT_DIR" ]; then
366
366
echo
367
367
echo " Changes to be pushed (Try $i )"
368
368
echo " ---------------------------------------------"
369
- git diff origin/master --stat=1000,1000 --exit-code && break
369
+ git diff origin/master --stat=1000,1000
370
+ git diff origin/master --quiet --exit-code && break
370
371
echo
371
372
echo " Pushing (Try $i )"
372
373
echo " ---------------------------------------------"
373
- git push --quiet origin master > /dev/null 2>&1
374
+ if git push --quiet origin master > /dev/null 2>&1 ; then
375
+ echo " Push success!"
376
+ else
377
+ echo " Push failed :-("
378
+ fi
374
379
done
375
380
echo
376
381
echo " Push finished!"
You can’t perform that action at this time.
0 commit comments