Guest User

Untitled

a guest
Jan 22nd, 2018
140
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.26 KB | None | 0 0
  1. #!/bin/sh
  2. git remote update
  3. local=$(git rev-list --max-count=1 master)
  4. origin=$(git rev-list --max-count=1 origin/master)
  5.  
  6. if [ "$local" != "$origin" ];
  7. then
  8. git pull origin master
  9. echo "Lets build it :)"
  10. sh -ex ./build_ota.sh
  11. else
  12. echo "No changes :("
  13. fi
Add Comment
Please, Sign In to add comment