diff options
| -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 |