Clarifying names.

This commit is contained in:
tschaub
2012-05-24 16:42:54 -06:00
parent f5e49fa82e
commit 1108433465

View File

@@ -3,10 +3,10 @@
# check to see if the hosted examples or API docs need an update
cd /osgeo/openlayers/repos/openlayers
REMOTE_HEAD=`git ls-remote https://github.com/openlayers/openlayers/ | grep HEAD | awk '{print $1}'`
OLD_REMOTE_HEAD=`git rev-parse HEAD`
LOCAL_HEAD=`git rev-parse HEAD`
# if there's something different in the remote, update and build
if [ ! o$REMOTE_HEAD = o$OLD_REMOTE_HEAD ]; then
if [ ! o$REMOTE_HEAD = o$LOCAL_HEAD ]; then
git checkout master
git clean -f
@@ -54,10 +54,10 @@ fi
# check to see if the website needs an update
cd /osgeo/openlayers/repos/website
REMOTE_HEAD=`git ls-remote https://github.com/openlayers/website/ | grep HEAD | awk '{print $1}'`
OLD_REMOTE_HEAD=`git rev-parse HEAD`
LOCAL_HEAD=`git rev-parse HEAD`
# if there's something different in the remote, update the clone
if [ ! o$REMOTE_HEAD = o$OLD_REMOTE_HEAD ]; then
if [ ! o$REMOTE_HEAD = o$LOCAL_HEAD ]; then
git checkout master
git clean -f
@@ -72,10 +72,10 @@ fi
# check to see if prose docs need an update
cd /osgeo/openlayers/repos/docs
REMOTE_HEAD=`git ls-remote https://github.com/openlayers/docs/ | grep HEAD | awk '{print $1}'`
OLD_REMOTE_HEAD=`git rev-parse HEAD`
LOCAL_HEAD=`git rev-parse HEAD`
# if there's something different in the remote, update the clone
if [ ! o$REMOTE_HEAD = o$OLD_REMOTE_HEAD ]; then
if [ ! o$REMOTE_HEAD = o$LOCAL_HEAD ]; then
git checkout master
git clean -f