diff options
| author |  Christian Couder <chriscool@tuxfamily.org> | 2017-09-23 19:55:56 +0000 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2017-09-24 16:58:34 +0900 |
| commit | ffdd01076eb2a0dbc0f0543803faca9734353533 (patch) | |
| tree | ae76b8235efff0bb5730e284caf1e373130b2192 | |
| parent | perf/run: add run_subsection() (diff) | |
| download | tgif-ffdd01076eb2a0dbc0f0543803faca9734353533.tar.xz | |
perf/run: show name of rev being built
It is nice for the user to not just show the sha1 of the
current revision being built but also the actual name of
this revision.
Signed-off-by: Christian Couder <chriscool@tuxfamily.org>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
| -rwxr-xr-x | t/perf/run | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/t/perf/run b/t/perf/run index cb8687bfcf..43e4de49ef 100755 --- a/t/perf/run +++ b/t/perf/run @@ -37,6 +37,7 @@ unpack_git_rev () { build_git_rev () { rev=$1 + name="$2" for config in config.mak config.mak.autogen config.status do if test -e "../../$config" @@ -44,7 +45,7 @@ build_git_rev () { cp "../../$config" "build/$rev/" fi done - echo "=== Building $rev ===" + echo "=== Building $rev ($name) ===" ( cd build/$rev && if test -n "$GIT_PERF_MAKE_COMMAND" @@ -71,7 +72,7 @@ run_dirs_helper () { if [ ! -d build/$rev ]; then unpack_git_rev $rev fi - build_git_rev $rev + build_git_rev $rev "$mydir" mydir=build/$rev fi if test "$mydir" = .; then |