Fix "Play" button on eme_player.html.
[chromium-blink-merge.git] / tools / git / post-checkout
blob452eb48eb450a0f3f8e67d13906d8a46eae762b9
1 #!/bin/bash
2 # Copyright (c) 2010 The Chromium Authors. All rights reserved.
3 # Use of this source code is governed by a BSD-style license that can be
4 # found in the LICENSE file.
6 script=$(readlink $0)
7 source $(dirname ${script:-$0})/git-utils.sh
9 old_ref=$1 # Previous HEAD.
10 new_ref=$2 # Current HEAD.
11 branch_switch=$3 # Whether we switched branches.
13 if [ $old_ref == $new_ref ]; then
14 if ! git diff-index --quiet HEAD $(git rev-parse --show-cdup)DEPS; then
15 warn "DEPS has local modifications; do you need to re-run gclient sync?"
17 else
18 if git diff-tree $old_ref $new_ref | grep -qs $'\tDEPS$'; then
19 warn "DEPS has changed; you probably need to re-run gclient sync."