diff options
| author | Martin Roth <martinroth@google.com> | 2017-04-04 15:05:24 -0600 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2017-05-16 10:54:06 +0200 |
| commit | 7a00a63829881a099d679de13d725d94ea658ed9 (patch) | |
| tree | c330fa45372788fe14f7cb14e461f60937127a84 /util/lint/lint-stable-018-symlinks | |
| parent | ff2938ff4b63bedae1ab402b8f8f6272b3120a35 (diff) | |
util/release: Update build-release script
- Put parameter comments and help text in the same order as the actual
parameters.
- Don't clone a new release tree from coreboot.org if a tree already
exists.
- Change COMMIT_ID parameter from optional to required. If it was
omitted previously, the head of the master branch would be used.
Change-Id: Ifa434a4911dec777004788e3cf4e3436875d929b
Signed-off-by: Martin Roth <martinroth@google.com>
Reviewed-on: https://review.coreboot.org/19126
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Philippe Mathieu-Daudé <philippe.mathieu.daude@gmail.com>
Reviewed-by: Philipp Deppenwiese <zaolin.daisuki@gmail.com>
Diffstat (limited to 'util/lint/lint-stable-018-symlinks')
0 files changed, 0 insertions, 0 deletions