diff options
Diffstat (limited to 'tools/git/post-merge')
| -rwxr-xr-x | tools/git/post-merge | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/tools/git/post-merge b/tools/git/post-merge new file mode 100755 index 0000000..8b774ce --- /dev/null +++ b/tools/git/post-merge @@ -0,0 +1,12 @@ +#!/bin/bash +# Copyright (c) 2010 The Chromium Authors. All rights reserved. +# Use of this source code is governed by a BSD-style license that can be +# found in the LICENSE file. + +script=$(readlink $0) +source $(dirname ${script:-$0})/git-utils.sh + +if git diff-tree ORIG_HEAD HEAD | grep -qs $'\tDEPS$'; then + warn "DEPS has changed; you probably need to re-run gclient sync." +fi + |