Merge branch 'jk/common-main' into maint-2.10

[thirdparty/git.git] / git.c

diff --git a/git.c b/git.c
index f914490e149bc10806c78cf47ee82b81b122d84f..7acf290e2385ab35c10db4dd318af51106b12b7b 100644 (file)
--- a/git.c
+++ b/git.c
@@ -616,6 +616,11 @@ int cmd_main(int argc, const char **argv)
        cmd = argv[0];
        if (!cmd)
                cmd = "git-help";
+       else {
+               const char *slash = find_last_dir_sep(cmd);
+               if (slash)
+                       cmd = slash + 1;
+       }
 
        trace_command_performance(argv);