Tools/git-repo
1
0
Fork 0
Code Activity

Fix TRACE_FILE renaming.

Browse source 
Bug: b/258073923

Change-Id: I997961056388e1550711f73a6310788b5c7ad4d4
Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/350934
Tested-by: Joanna Wang <jojwang@google.com>
Reviewed-by: LaMont Jones <lamontjones@google.com>
This commit is contained in:
Joanna Wang 2022-11-08 18:56:52 -05:00
parent 7efab539f0
commit 24c6314fca
3 changed files with 14 additions and 13 deletions
Download patch file Download diff file Expand all files Collapse all files

2
main.py
View file

@ -109,7 +109,7 @@ global_options.add_option('--color',
global_options.add_option('--trace',
dest='trace', action='store_true',
help='trace git command execution (REPO_TRACE=1)')
global_options.add_option('--trace_to_stderr',
global_options.add_option('--trace-to-stderr',
dest='trace_to_stderr', action='store_true',
help='trace outputs go to stderr in addition to .repo/TRACE_FILE')
global_options.add_option('--trace-python',