diff options
Diffstat (limited to 'scripts/lib/devtool/standard.py')
| -rw-r--r-- | scripts/lib/devtool/standard.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/scripts/lib/devtool/standard.py b/scripts/lib/devtool/standard.py index 7972b4f822..6674e67267 100644 --- a/scripts/lib/devtool/standard.py +++ b/scripts/lib/devtool/standard.py | |||
| @@ -1885,6 +1885,8 @@ def _update_recipe(recipename, workspace, rd, mode, appendlayerdir, wildcard_ver | |||
| 1885 | for line in stdout.splitlines(): | 1885 | for line in stdout.splitlines(): |
| 1886 | branchname = line[2:] | 1886 | branchname = line[2:] |
| 1887 | if line.startswith('* '): | 1887 | if line.startswith('* '): |
| 1888 | if 'HEAD' in line: | ||
| 1889 | raise DevtoolError('Detached HEAD - please check out a branch, e.g., "devtool"') | ||
| 1888 | startbranch = branchname | 1890 | startbranch = branchname |
| 1889 | if branchname.startswith(override_branch_prefix): | 1891 | if branchname.startswith(override_branch_prefix): |
| 1890 | override_branches.append(branchname) | 1892 | override_branches.append(branchname) |
