perf: add a GIT_PERF_MAKE_COMMAND for when *_MAKE_OPTS won't do

diff --git a/t/perf/run b/t/perf/run
index c788d713ae927007866b5b73920de2674f816207..b61024a830a02cace4f9d6720428f2cf562fd5c5 100755 (executable)
--- a/t/perf/run
+++ b/t/perf/run
@@ -37,8 +37,15 @@ build_git_rev () {
                        cp "../../$config" "build/$rev/"
                fi
        done
-       (cd build/$rev && make $GIT_PERF_MAKE_OPTS) ||
-       die "failed to build revision '$mydir'"
+       (
+               cd build/$rev &&
+               if test -n "$GIT_PERF_MAKE_COMMAND"
+               then
+                       sh -c "$GIT_PERF_MAKE_COMMAND"
+               else
+                       make $GIT_PERF_MAKE_OPTS
+               fi
+       ) || die "failed to build revision '$mydir'"
 }
 
 run_dirs_helper () {