index 2d33d9efec3f2f601305e736e31368621acd0584..8e2449d24409bab14558f83617f651c3f7255627 100755 (executable)
compare_head()
{
- sha_master=`git-rev-list --max-count=1 master`
- sha_head=`git-rev-list --max-count=1 HEAD`
+ sha_master=`git rev-list --max-count=1 master`
+ sha_head=`git rev-list --max-count=1 HEAD`
test "$sha_master" = "$sha_head"
}