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) |