diff options
Diffstat (limited to 'scripts/lib/devtool')
| -rw-r--r-- | scripts/lib/devtool/standard.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/scripts/lib/devtool/standard.py b/scripts/lib/devtool/standard.py index 16ea328c6a..c5b6458d06 100644 --- a/scripts/lib/devtool/standard.py +++ b/scripts/lib/devtool/standard.py | |||
| @@ -993,7 +993,8 @@ def modify(args, config, basepath, workspace): | |||
| 993 | '}\n') | 993 | '}\n') |
| 994 | if initial_revs: | 994 | if initial_revs: |
| 995 | for name, rev in initial_revs.items(): | 995 | for name, rev in initial_revs.items(): |
| 996 | f.write('\n# initial_rev %s: %s\n' % (name, rev)) | 996 | f.write('\n# initial_rev %s: %s\n' % (name, rev)) |
| 997 | if name in commits: | ||
| 997 | for commit in commits[name]: | 998 | for commit in commits[name]: |
| 998 | f.write('# commit %s: %s\n' % (name, commit)) | 999 | f.write('# commit %s: %s\n' % (name, commit)) |
| 999 | if branch_patches: | 1000 | if branch_patches: |