Logging performance and memory benchmarks to git notes during precommit testing.

2014-08-14 17:25:20 +04:00
parent e25b1d0249
commit 5ebc744511
5 changed files with 54 additions and 13 deletions
@@ -94,6 +94,9 @@ PRECOMMIT_CHECK_TARGETS_LIST= debug.linux.check \
 push: ./tools/push.sh
 	@ ./tools/push.sh

+pull: ./tools/pull.sh
+	@ ./tools/pull.sh
+
 precommit: clean
 	@ echo -e "\nBuilding...\n\n"
 	@ $(MAKE) build