tools/git/post-merge

   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 if git diff-tree ORIG_HEAD HEAD | grep -qs $'\tDEPS$'; then
  10     warn "DEPS has changed; you probably need to re-run gclient sync."
  11 fi
  12