| #!/bin/sh | |
| LOCAL_DIR=org.eclipse.cbi.maven.plugins | |
| GIT_REPO=git://git.eclipse.org/gitroot/cbi/org.eclipse.cbi.maven.plugins.git | |
| BRANCH=master | |
| if [ ! -d "$LOCAL_DIR" ]; then | |
| git clone $GIT_REPO ./$LOCAL_DIR | |
| fi | |
| if [ -d "$LOCAL_DIR" ]; then | |
| cd $LOCAL_DIR | |
| git rm --cached -r . > /dev/null | |
| git reset --hard > /dev/null | |
| git checkout $BRANCH | |
| git pull | |
| else | |
| echo "Local directory $LOCAL_DIR does not exist!" | |
| fi |