From 24c6314fca400f86fd893053c79788a8ab681477 Mon Sep 17 00:00:00 2001 From: Joanna Wang Date: Tue, 8 Nov 2022 18:56:52 -0500 Subject: Fix TRACE_FILE renaming. Bug: b/258073923 Change-Id: I997961056388e1550711f73a6310788b5c7ad4d4 Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/350934 Tested-by: Joanna Wang Reviewed-by: LaMont Jones --- main.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'main.py') diff --git a/main.py b/main.py index a22c6a1f..f4b6e7ac 100755 --- a/main.py +++ b/main.py @@ -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', -- cgit v1.2.3-54-g00ecf