diff options
| author | Tom Rini <trini@ti.com> | 2014-07-07 20:45:09 -0400 |
|---|---|---|
| committer | Tom Rini <trini@ti.com> | 2014-07-07 20:45:09 -0400 |
| commit | 80a7cac033082ec3e106cfcc736a126ec6547d85 (patch) | |
| tree | 5c6ee5b84444bba6183e3f2750298d121d371f7c /tools/patman/gitutil.py | |
| parent | fafee9edba722dc99cfcfe0f0437e14452cda9aa (diff) | |
| parent | 8708267f09fa99be8c12e103f2cbdc14a43623cc (diff) | |
Merge branch 'tom' of git://git.denx.de/u-boot-x86
Diffstat (limited to 'tools/patman/gitutil.py')
| -rw-r--r-- | tools/patman/gitutil.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tools/patman/gitutil.py b/tools/patman/gitutil.py index 3ea256de2e2..7b75c83a82c 100644 --- a/tools/patman/gitutil.py +++ b/tools/patman/gitutil.py @@ -232,6 +232,10 @@ def ApplyPatches(verbose, args, start_point): print stdout return False old_head = stdout.splitlines()[0] + if old_head == 'undefined': + str = "Invalid HEAD '%s'" % stdout.strip() + print col.Color(col.RED, str) + return False # Checkout the required start point cmd = ['git', 'checkout', 'HEAD~%d' % start_point] |