| Index: cros_mark_as_stable.py
|
| diff --git a/cros_mark_as_stable.py b/cros_mark_as_stable.py
|
| index 6c4a6fa51a7cb0448ace4a91ec795d028d825a31..a6221ad80fc74ddc8d50522bee3384651eafe6fd 100755
|
| --- a/cros_mark_as_stable.py
|
| +++ b/cros_mark_as_stable.py
|
| @@ -22,6 +22,8 @@ gflags.DEFINE_boolean('all', False,
|
| 'Mark all packages as stable.')
|
| gflags.DEFINE_string('board', '',
|
| 'Board for which the package belongs.', short_name='b')
|
| +gflags.DEFINE_string('drop_file', None,
|
| + 'File to list packages that were revved.')
|
| gflags.DEFINE_boolean('dryrun', False,
|
| 'Passes dry-run to git push if pushing a change.')
|
| gflags.DEFINE_string('overlays', '',
|
| @@ -569,6 +571,10 @@ def main(argv):
|
|
|
| if revved_packages:
|
| _CleanStalePackages(gflags.FLAGS.board, revved_packages)
|
| + if gflags.FLAGS.drop_file:
|
| + fh = open(gflags.FLAGS.drop_file, 'w')
|
| + fh.write(' '.join(revved_packages))
|
| + fh.close()
|
| else:
|
| work_branch.Delete()
|
|
|
|
|