Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- #!/bin/sh
- git remote update
- local=$(git rev-list --max-count=1 master)
- origin=$(git rev-list --max-count=1 origin/master)
- if [ "$local" != "$origin" ];
- then
- git pull origin master
- echo "Lets build it :)"
- sh -ex ./build_ota.sh
- else
- echo "No changes :("
- fi
Add Comment
Please, Sign In to add comment