diff options
| author | Simon Glass <sjg@chromium.org> | 2014-09-05 19:00:22 -0600 |
|---|---|---|
| committer | Simon Glass <sjg@chromium.org> | 2014-09-09 16:38:31 -0600 |
| commit | f7582ce8496f19edf845d1f62c4b7f385e4cd864 (patch) | |
| tree | 88bb6db6e2ea075958c80422493c1794fc77951d /tools/buildman/control.py | |
| parent | 930c8d4ad8d179bce2426f9fca8edac904bafddc (diff) | |
buildman: Permit branch names with an embedded '/'
At present buildman naively uses the branch name as part of its directory
path, which causes problems if the name has an embedded '/'.
Replace these with '_' to fix the problem.
Reported-by: Steve Rae <srae@broadcom.com>
Signed-off-by: Simon Glass <sjg@chromium.org>
Diffstat (limited to 'tools/buildman/control.py')
| -rw-r--r-- | tools/buildman/control.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/buildman/control.py b/tools/buildman/control.py index ee9637591c..8146e1caf8 100644 --- a/tools/buildman/control.py +++ b/tools/buildman/control.py @@ -209,7 +209,7 @@ def DoBuildman(options, args, toolchains=None, make_func=None, boards=None, # Create a new builder with the selected options if options.branch: - dirname = options.branch + dirname = options.branch.replace('/', '_') else: dirname = 'current' output_dir = os.path.join(options.output_dir, dirname) |