OLD | NEW |
(Empty) | |
| 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. |
| 5 |
| 6 script=$(readlink $0) |
| 7 source $(dirname ${script:-$0})/git-utils.sh |
| 8 |
| 9 old_ref=$1 # Previous HEAD. |
| 10 new_ref=$2 # Current HEAD. |
| 11 branch_switch=$3 # Whether we switched branches. |
| 12 |
| 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?" |
| 16 fi |
| 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." |
| 20 fi |
| 21 fi |
| 22 |
OLD | NEW |