diff options
Diffstat (limited to 'Makefile.in')
-rw-r--r-- | Makefile.in | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Makefile.in b/Makefile.in index 8a1271c7ab..863e573baa 100644 --- a/Makefile.in +++ b/Makefile.in @@ -515,6 +515,11 @@ gcov: lcov: $(Q) $(BASERUBY) $(srcdir)/tool/run-lcov.rb +update-benchmark-driver: + $(Q) $(srcdir)/tool/git-refresh -C $(srcdir)/benchmark $(Q1:0=-q) \ + --branch $(BENCHMARK_DRIVER_GIT_REF) \ + $(BENCHMARK_DRIVER_GIT_URL) benchmark-driver $(GIT_OPTS) + update-doclie: $(Q) $(srcdir)/tool/git-refresh -C $(srcdir)/coverage $(Q1:0=-q) \ --branch $(DOCLIE_GIT_REF) \ |