diff options
| -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] | 
