Andrew's git
/
gitweb.git
/ diff
summary
|
log
|
commit
| diff |
tree
commit
grep
author
committer
pickaxe
?
re
perf/run: show name of rev being built
author
Christian Couder
<chriscool@tuxfamily.org>
Sat, 23 Sep 2017 19:55:56 +0000
(19:55 +0000)
committer
Junio C Hamano
<gitster@pobox.com>
Sun, 24 Sep 2017 07:58:34 +0000
(16:58 +0900)
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>
t/perf/run
patch
|
blob
|
history
raw
|
patch
| inline |
side by side
(parent:
afda85c
)
diff --git
a/t/perf/run
b/t/perf/run
index cb8687bfcf98dbe9b3982975122ddb1b51a99d80..43e4de49ef2bea9ae09b502f28fbc0913e294571 100755
(executable)
--- 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