2011-01-23 12:45:18 +01:00
|
|
|
#!/bin/sh
|
|
|
|
|
DIRECTORY=$(cd `dirname $0` && pwd)
|
|
|
|
|
|
|
|
|
|
GIT_DIR="$DIRECTORY"/osmand-git
|
|
|
|
|
GIT_URL=git://github.com/osmandapp/Osmand.git
|
|
|
|
|
GIT_ORIGIN_NAME=origin
|
|
|
|
|
|
2011-04-18 10:18:53 +02:00
|
|
|
#rm -rf "${GIT_DIR}"
|
2011-01-23 12:45:18 +01:00
|
|
|
# initialize git if it is not present (clone it)
|
|
|
|
|
if [ ! -d "$GIT_DIR" ]; then
|
|
|
|
|
git clone ${GIT_URL} "${GIT_DIR}"
|
|
|
|
|
fi
|
|
|
|
|
# update git
|
|
|
|
|
cd "${GIT_DIR}"
|
2011-02-02 21:42:52 +01:00
|
|
|
git reset --hard
|
2011-10-07 01:32:52 +02:00
|
|
|
git checkout -q master
|
2011-04-18 10:18:53 +02:00
|
|
|
git fetch ${GIT_ORIGIN_NAME}
|
